A Matroid-based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry - Archive ouverte HAL
Article Dans Une Revue Journal of Automated Reasoning Année : 2024

A Matroid-based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry

Fichier principal
Vignette du fichier
islandora_168440.pdf (1.42 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04318847 , version 1 (01-12-2023)

Identifiants

Citer

David Braun, Nicolas Magaud, Pascal Schreck. A Matroid-based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry. Journal of Automated Reasoning, 2024, 68 (3), ⟨10.1007/s10817-023-09690-2⟩. ⟨hal-04318847⟩
23 Consultations
125 Téléchargements

Altmetric

Partager

More