Detecting truth on components (original) (raw)
Related papers
Detecting truth, just on parts
Revista Matemática Complutense, 2018
Dealing with Degeneracies in Automated Theorem Proving in Geometry
Mathematics
Automated Deduction in Geometry
Lecture Notes in Computer Science, 2007
The moment of truth in automatic theorem proving in elementary geometry
Adg, 2007
Automated Deduction and Knowledge Management in Geometry
Mathematics in Computer Science, 2020
Automatic discovery of theorems in elementary geometry
Journal of Automated Reasoning, 1999
On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving
Mathematics in Computer Science, 2016
Automatic Deduction in Dynamic Geometry using Sage
EPTCS, 2012
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
2006
Deciding geometric properties symbolically in GeoGebra
2017
Automatic Deduction in an AI Geometry Book
Artificial Intelligence and Symbolic Computation
Automated Theorem Proving in GeoGebra: Current Achievements
Journal of Automated Reasoning, 2015
GraATP: A graph theoretic approach for Automated Theorem Proving in plane geometry
The 8th International Conference on Software, Knowledge, Information Management and Applications (SKIMA 2014), 2014
On Protocols for the Automated Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning, 2009
Gramy: A Geometry Theorem Prover Capable of Construction
Journal of Automated Reasoning, 2004
Combining Dynamic Geometry, Automated Geometry Theorem Proving and Diagrammatic Proofs
2005
Reasoning by contradiction in dynamic geometry
2013
Towards Ranking Geometric Automated Theorem Provers
Electronic Proceedings in Theoretical Computer Science
Development of automatic reasoning tools in GeoGebra
ACM Communications in Computer Algebra, 2016
Automated reasoning in elementary geometry: towards inquiry learning
Pädagogische Horizonte, 2018
Proof and Computation in Geometry
Automated Deduction in Geometry, 2013
Pitfalls Caused by "Evident" Properties in a Dynamic Geometry Environment
GEOM-a prolog geometry theorem prover
1979
Automatic Verification of Regular Constructions in Dynamic Geometry Systems
2006
Automated Generation of Formal and Readable Proofs in Geometry Using Coherent Logic
Sana Stojanović, Vesna Pavlović
2010
Towards a Geometry Automated Provers Competition
Electronic Proceedings in Theoretical Computer Science
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
Lecture Notes in Computer Science, 2007