Automated theorem proving in GeoGebra: current achievements
DOI10.1007/S10817-015-9326-4zbMATH Open1356.68181OpenAlexW2064030682MaRDI QIDQ286780FDOQ286780
Authors: Francisco Botana, Markus Hohenwarter, Predrag Janičić, Zoltán Kovács, Ivan Petrović, Tomas Recio, Simon Weitzhofer 
Publication date: 26 May 2016
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10902/7265
Recommendations
automatic theorem provingintelligent tutoring systemsinteractive learning environmentssecondary education
Geometry education (97Gxx) Technological tools, calculators (aspects of mathematics education) (97U70)
Cites Work
- Title not available (Why is that?)
- A graphical user interface for formal proofs in geometry
- Geometry constructions language
- Giac and GeoGebra – Improved Gröbner Basis Computations
- Automated Deduction in Geometry
- Automated Deduction in Geometry
- An introduction to Java geometry expert. (Extended abstract)
- SATzilla: portfolio-based algorithm selection for SAT
- Using Gröbner bases to reason about geometry problems
- Automated reasoning in geometry theorem proving with Prolog
- Automatic discovery of theorems in elementary geometry
- Automated reasoning in geometry
- GeoThms -- a web system for Euclidean constructive geometry
- Automated generation of readable proofs for constructive geometry statements with the mass point method
- A note on syntactic symmetry and the manipulation of formal systems by machine
- Title not available (Why is that?)
- Title not available (Why is that?)
- The area method. A recapitulation
- An introduction to geometry expert
- Machine Proofs in Geometry
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- The parallel numerical method of mechanical theorem proving
Cited In (29)
- Automated generation of geometry proof problems based on point geometry identity
- A symbolic dynamic geometry system using the analytical geometry method
- Locus computation in dynamic geometry environment
- New dynamics in dynamic geometry: dragging constructed points
- Taxonomies of geometric problems
- Detecting truth, just on parts
- Towards the Automatic Discovery of Theorems in GeoGebra
- Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems
- Portfolio theorem proving and prover runtime prediction for geometry
- The Relation Tool in GeoGebra 5
- Contemporary Interpretation of a Historical Locus Problem with the Use of Computer Algebra
- On the unavoidable uncertainty of truth in dynamic geometry proving
- Automated deduction and knowledge management in geometry
- Automated generation of illustrated proofs in geometry and beyond
- Formalization of the arithmetization of Euclidean plane geometry and applications
- A program to create new geometry proof problems
- Automated discovery of angle theorems
- Automated discovery of geometric theorems based on vector equations
- Development of automatic reasoning tools in GeoGebra
- Automatic Deduction in an AI Geometry Book
- 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
- A mechanical geometer
- Towards an Automated Geometer
- Towards an intelligent and dynamic geometry book
- Reasoning about linkages with dynamic geometry
- Open geometry prover community project
- Rewriting input expressions in complex algebraic geometry provers
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)
