Automated theorem proving in GeoGebra: current achievements
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4065140 (Why is no real title available?)
- scientific article; zbMATH DE number 41286 (Why is no real title available?)
- scientific article; zbMATH DE number 953808 (Why is no real title available?)
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- A graphical user interface for formal proofs in geometry
- A note on syntactic symmetry and the manipulation of formal systems by machine
- An introduction to Java geometry expert. (Extended abstract)
- An introduction to geometry expert
- Automated Deduction in Geometry
- Automated Deduction in Geometry
- Automated generation of readable proofs for constructive geometry statements with the mass point method
- Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
- Automated reasoning in geometry
- Automated reasoning in geometry theorem proving with Prolog
- Automatic discovery of theorems in elementary geometry
- GeoThms -- a web system for Euclidean constructive geometry
- Geometry constructions language
- Giac and GeoGebra -- improved Gröbner basis computations
- Machine Proofs in Geometry
- SATzilla: portfolio-based algorithm selection for SAT
- The area method. A recapitulation
- The parallel numerical method of mechanical theorem proving
- Using Gröbner bases to reason about geometry problems
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
Cited in
(30)- Development of automatic reasoning tools in GeoGebra
- Automated discovery of geometric theorems based on vector equations
- Detecting truth, just on parts
- Automatic Deduction in an AI Geometry Book
- Rewriting input expressions in complex algebraic geometry provers
- Automated generation of geometry proof problems based on point geometry identity
- Locus computation in dynamic geometry environment
- A program to create new geometry proof problems
- Automated discovery of angle theorems
- Automated deduction and knowledge management in geometry
- A method for the automated discovery of angle theorems
- Automated generation of illustrations for synthetic geometry proofs
- Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach
- Contemporary interpretation of a historical locus problem with the use of computer algebra
- Taxonomies of geometric problems
- A symbolic dynamic geometry system using the analytical geometry method
- Towards an Automated Geometer
- Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems
- v
- Portfolio theorem proving and prover runtime prediction for geometry
- Open geometry prover community project
- Automated generation of illustrated proofs in geometry and beyond
- Towards the Automatic Discovery of Theorems in GeoGebra
- A mechanical geometer
- Formalization of the arithmetization of Euclidean plane geometry and applications
- New dynamics in dynamic geometry: dragging constructed points
- The relation tool in GeoGebra 5
- On the unavoidable uncertainty of truth in dynamic geometry proving
- Towards an intelligent and dynamic geometry book
- Reasoning about linkages with dynamic geometry
Describes a project that uses
Uses Software
This page was built for publication: Automated theorem proving in GeoGebra: current achievements
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q286780)
