A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry
| Title: | A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry |
|---|---|
| Authors: | Braun, DavidAff1; Magaud, NicolasAff1, IDs10817023096902_cor2; Schreck, PascalAff1 |
| Source: | Journal of Automated Reasoning. 68(1) |
| Database: | Springer Nature Journals |