Communication Dans Un Congrès
Année : 2023
Julien Narboux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04226945
Soumis le : mardi 3 octobre 2023-14:37:14
Dernière modification le : jeudi 11 avril 2024-13:08:14
Dates et versions
Identifiants
- HAL Id : hal-04226945 , version 1
Citer
Julien Narboux. Formalisation, arithmetization and automatisation of geometry. Automated Deduction in Geometry 2023, Predrag Janičić; Pedro Quaresma; Zoltán Kovács; Vesna Marinković, Sep 2023, Belgrade, France. ⟨hal-04226945⟩
Collections
22
Consultations
0
Téléchargements