Poster De Conférence Année : 2021
Fichier non déposé

Dates et versions

hal-03402842 , version 1 (25-10-2021)

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⟩
59 Consultations
0 Téléchargements

Partager

  • More