@inproceedings(Affeldt,
 author       = {Reynald Affeldt and Cyril Cohen},
 year         = {2017},
 title        = {Formal foundations of 3D geometry to model robot manipulators},
 editor       = {Yves Bertot and Viktor Vafeiadis},
 booktitle    = {Proceedings of the 6th {ACM} {SIGPLAN} Conference on Certified Programs and Proofs, {CPP} 2017, Paris, France, January 16-17, 2017},
 publisher    = {{ACM}},
 pages        = {30--42},
 doi          = {10.1145/3018610.3018629},
)
@article(Bell,
 author       = {P.~O. Bell},
 year         = {1955},
 title        = {Generalized Theorems of Desargues for n-Dimensional Projective Space},
 journal      = {Proceedings of the American Mathematical Society},
 volume       = {6},
 number       = {5},
 pages        = {675--681},
 doi          = {10.2307/2032913},
 url          = {http://www.jstor.org/stable/2032913},
)
@article(Botana,
 author       = {Francisco Botana and Markus Hohenwarter and Predrag Janicic and Kov\IeC{\'a}cs, Zolt\IeC{\'a}n and Petrovi\IeC{\'c}, Ivan and Tomas Recio and Simon Weitzhofer},
 year         = {2015},
 title        = {Automated Theorem Proving in GeoGebra: Current Achievements},
 journal      = {Journal of Automated Reasoning},
 volume       = {55},
 pages        = {39--59},
 doi          = {10.1007/s10817-015-9326-4},
)
@inproceedings(BMS21,
 author       = {D.~Braun and N.~Magaud and P.~Schreck},
 year         = {2021},
 title        = {Two New Ways to Formally Prove Dandelin-Gallucci's Theorem},
 booktitle    = {ISSAC 2021 : International Symposium on Symbolic and Algebraic Computation},
 publisher    = {ACM},
 doi          = {10.1145/3452143.3465550},
)
@phdthesis(Braun2019,
 author       = {David Braun},
 year         = {2019},
 title        = {Approche combinatoire pour l'automatisation en Coq des preuves formelles en g\'eom\'etrie d'incidence projective},
 school       = {{U}niversit\'e de Strasbourg},
)
@article(BMS19,
 author       = {David Braun and Nicolas Magaud and Pascal Schreck},
 year         = {2019},
 title        = {Two cryptomorphic formalizations of projective incidence geometry},
 journal      = {Ann. Math. Artif. Intell.},
 volume       = {85},
 number       = {2-4},
 pages        = {193--212},
 doi          = {10.1007/s10472-018-9604-z},
)
@book(chou,
 author       = {Shang-Ching Chou},
 year         = {1987},
 title        = {Mechanical Geometry Theorem Proving},
 publisher    = {Kluwer Academic Publishers},
 address      = {Norwell, MA, USA},
 doi          = {10.1007/978-94-009-4037-6},
)
@book(chou94,
 author       = {Shang-Ching Chou and Xiao-Shan Gao and Jing-Zhong Zhang},
 year         = {1994},
 title        = {Machine Proofs in Geometry},
 series       = {Series on Applied Mathematics},
 publisher    = {World Scientific},
 doi          = {10.1142/2196},
)
@article(edmond,
 author       = {Jack Edmonds},
 year         = {1971},
 title        = {{Matroids and the greedy algorithm}},
 journal      = {{Mathematical Programming}},
 volume       = {1},
 number       = {1},
 pages        = {127--136},
 doi          = {10.1007/BF01584082},
)
@inproceedings(DBLP:conf/adg/FuchsT10,
 author       = {Laurent Fuchs and Laurent Th{\'{e}}ry},
 year         = {2010},
 title        = {A Formalization of Grassmann-Cayley Algebra in {COQ} and Its Application to Theorem Proving in Projective Geometry},
 editor       = {Pascal Schreck and Julien Narboux and Richter{-}Gebert, J{\"{u}}rgen},
 booktitle    = {Automated Deduction in Geometry - 8th International Workshop, 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {6877},
 publisher    = {Springer},
 pages        = {51--67},
 doi          = {10.1007/978-3-642-25070-5\_3},
)
@inproceedings(Gelernter,
 author       = {H.~Gelernter},
 year         = {1959},
 title        = {Realization of a Geometry Theorem-Proving Machine},
 booktitle    = {Proc. of the International Conference on Information Processing},
 publisher    = {UNESCO},
 pages        = {273--281},
 doi          = {10.5555/216408.216418},
)
@inproceedings(galluccibis,
 author       = {{\'A}kos~G Horv{\'a}th},
 year         = {{2017}},
 title        = {{Gallucci's axiom revisited}},
 booktitle    = {{arXiv preprint arXiv:1712.04800}},
)
@article(Janicic,
 author       = {Predrag Janicic and Julien Narboux and Pedro Quaresma},
 year         = {2010},
 title        = {The Area Method},
 journal      = {Journal of Automated Reasoning - JAR},
 volume       = {48},
 doi          = {10.1007/s10817-010-9209-7},
)
@article(desargueslong,
 author       = {{Magaud, Nicolas and Narboux, Julien and Schreck, Pascal}},
 year         = {{2012}},
 title        = {{A Case Study in Formalizing Projective Geometry in Coq: Desargues Theorem}},
 journal      = {{Computational Geometry : Theory and Applications}},
 volume       = {{45}},
 number       = {8},
 pages        = {{406--424}},
 doi          = {10.1016/j.comgeo.2010.06.004},
)
@article(MS06,
 author       = {Dominique Michelucci and Pascal Schreck},
 year         = {2006},
 title        = {{Incidence Constraints: a Combinatorial Approach}},
 journal      = {{Int. Journal of Computational Geometry and Applications}},
 volume       = {16},
 number       = {5-6},
 pages        = {443--460},
 doi          = {10.1142/S0218195906002130},
)
@article(moulton,
 author       = {Forest~Ray Moulton},
 year         = {1902},
 title        = {{A Simple Non-Desarguesian Plane Geometry}},
 journal      = {{Transactions of the American Mathematical Society}},
 volume       = {3},
 number       = {2},
 pages        = {192--195},
 doi          = {10.1090/S0002-9947-1902-1500595-3},
)
@book(oxley,
 author       = {James~G Oxley},
 year         = {2006},
 title        = {{Matroid Theory}},
 volume       = {3},
 publisher    = {{Oxford University Press, USA}},
)
@inproceedings(Roanes-MaciasR06,
 author       = {Roanes{-}Mac{\'{\i}}as, Eugenio and Roanes{-}Lozano, Eugenio},
 year         = {2006},
 title        = {{A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry}},
 editor       = {Francisco Botana and Tom{\'{a}}s Recio},
 booktitle    = {Automated Deduction in Geometry, 6th International Workshop, {ADG} 2006, Pontevedra, Spain, Aug. 31-Sept. 2, 2006. Revised Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {4869},
 publisher    = {Springer},
 pages        = {171--188},
 doi          = {10.1007/978-3-540-77356-6\_11},
)
@article(tutte,
 author       = {William~Thomas Tutte},
 year         = {1959},
 title        = {Matroids and graphs},
 journal      = {{Transactions of the American Mathematical Society}},
 volume       = {90},
 number       = {3},
 pages        = {527--552},
 doi          = {10.2307/1993185},
)
@article(YeChouGao,
 author       = {Zheng Ye and Shang-Ching Chou and Xiao-Shan Gao},
 year         = {2010},
 title        = {Visually Dynamic Presentation of Proofs in Plane Geometry: Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method},
 journal      = {Journal of Automated Reasoning},
 volume       = {45},
 doi          = {10.1007/s10817-009-9163-4},
)