| Title: |
A Matroid-based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry |
| Authors: |
Braun, David; Magaud, Nicolas; Schreck, Pascal |
| Contributors: |
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube); École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg); Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE); Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique; Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS) |
| Source: |
ISSN: 0168-7433. |
| Publisher Information: |
HAL CCSD; Springer Verlag |
| Publication Year: |
2023 |
| Collection: |
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) |
| Subject Terms: |
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] |
| Document Type: |
article in journal/newspaper |
| Language: |
English |
| Relation: |
hal-04318847; https://hal.science/hal-04318847; https://hal.science/hal-04318847/document; https://hal.science/hal-04318847/file/islandora_168440.pdf |
| Availability: |
https://hal.science/hal-04318847; https://hal.science/hal-04318847/document; https://hal.science/hal-04318847/file/islandora_168440.pdf |
| Rights: |
info:eu-repo/semantics/OpenAccess |
| Accession Number: |
edsbas.E3616F4 |
| Database: |
BASE |