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

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, 2023, in press (1), pp.3. ⟨10.1007/s10817-023-09690-2⟩. ⟨hal-04318847⟩
10 Consultations
80 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More