Author:
Génevaux Jean-David,Narboux Julien,Schreck Pascal
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. LNCS;M. Boespflug,2011
2. Lecture Notes in Computer Science;S.-C. Chou,1990
3. Lecture Notes in Computer Science;S.-C. Chou,1992
4. Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Machine Proofs in Geometry. World Scientific, Singapore (1994)
5. Chou, S.-C.: Mechanical Geometry Theorem Proving. D. Reidel Publishing Company (1988)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Combining Pencil/Paper Proofs and Formal Proofs, A Challenge for Artificial Intelligence and Mathematics Education;Mathematics Education in the Age of Artificial Intelligence;2022
2. Two New Ways to Formally Prove Dandelin-Gallucci's Theorem;Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation;2021-07-18
3. Formalizing IMO Problems and Solutions in Isabelle/HOL;Electronic Proceedings in Theoretical Computer Science;2020-10-30
4. Towards a Geometry Automated Provers Competition;Electronic Proceedings in Theoretical Computer Science;2020-02-28
5. Two cryptomorphic formalizations of projective incidence geometry;Annals of Mathematics and Artificial Intelligence;2018-10-24