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

DOI10.1007/s10817-023-09690-2MaRDI QIDQ6493566

David J. Braun, Nicolas Magaud, Pascal Schreck

Publication date: 29 April 2024

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry