Poster De Conférence
Année : 2021
Connectez-vous pour contacter le contributeur
https://hal.science/hal-03402842
Soumis le : lundi 25 octobre 2021-23:00:39
Dernière modification le : mardi 3 mars 2026-14:41:44
Dates et versions
Identifiants
- HAL Id : hal-03402842 , version 1
Citer
Pascal Schreck, Nicolas Magaud, David Braun. Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach. Automated Deduction in Geometry (ADG 2021), Jan 2021, Hagenberg, Austria. 2021. ⟨hal-03402842⟩
Collections
59
Consultations
0
Téléchargements