A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs-Reference-Cited by-同舟云学术

A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs

Published:2011 Issue: Volume: Page:201-220
ISSN:0302-9743
Container-title:Automated Deduction in Geometry
language:
Short-container-title:

Author:

Stojanović Sana,Pavlović Vesna,Janičić Predrag

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-25070-5_12

Reference41 articles.

1. Avigad, J., Dean, E., Mumma, J.: A formal system for Euclid’s Elements. The Review of Symbolic Logic (2009)

2. Lecture Notes in Artificial Intelligence;M. Bezem,2005

3. Bezem, M., Hendriks, D.: On the Mechanization of the Proof of Hessenberg’s Theorem in Coherent Logic. Journal of Automated Reasoning 40(1) (2008)

4. Borsuk, K., Szmielew, W.: Foundations of Geometry. Norht-Holland Publishing Company, Amsterdam (1960)

5. Buchberger, B.: An Algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal. PhD thesis. University of Innsbruck (1965)

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards a geometry deductive database prover;Annals of Mathematics and Artificial Intelligence;2023-05-24

2. Measuring the Readability of Geometric Proofs: The Area Method Case;Journal of Automated Reasoning;2023-01-10

3. Theorem Proving as Constraint Solving with Coherent Logic;Journal of Automated Reasoning;2022-05-20

4. Evolution of Automated Deduction and Dynamic Constructions in Geometry;Mathematics Education in the Age of Artificial Intelligence;2022

5. Resolving finite indeterminacy;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08