Development of automatic reasoning tools in GeoGebra

DOI10.1145/3015306.3015309MaRDI QIDQ5270196zbMATH OpenOpenAlexFDO

Authors Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomas Recio, C. Sólyom-Gecse

Publication date 22 June 2017

Published in ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3015306.3015309

Mathematics Subject Classification ID

Geometric constructions in real or complex geometry (51M15) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Symbolic computation and algebraic computation (68W30)

Recommendations

• Towards the Automatic Discovery of Theorems in GeoGebra
• Towards an Automated Geometer
• Automated theorem proving in GeoGebra: current achievements
• The relation tool in GeoGebra 5
• A Symbolic Companion for Interactive Geometric Systems

Cites work

• A new theorem discovered by computer prover
• An introduction to automated discovery in geometry through symbolic computation
• Automated theorem proving in GeoGebra: current achievements
• Automatic discovery of theorems in elementary geometry
• scientific article; zbMATH DE number 41286 (Why is no real title available?)
• On protocols for the automated discovery of theorems in elementary geometry
• Wu's method and its application to perspective viewing

Cited in

(18)

• A mechanical geometer
• Two almost-circles, and two real ones
• Automated study of a regular trifolium
• New dynamics in dynamic geometry: dragging constructed points
• Reasoning about linkages with dynamic geometry
• Rewriting input expressions in complex algebraic geometry provers
• Towards the Automatic Discovery of Theorems in GeoGebra
• Automated theorem proving in GeoGebra: current achievements
• On the unavoidable uncertainty of truth in dynamic geometry proving
• The relation tool in GeoGebra 5
• Automated Discovery in Elementary Extrema Problems
• scientific article; zbMATH DE number 2009901 (Why is no real title available?)
• Automated reasoning tools in GeoGebra discovery
• Automated Deduction in Geometry
• Towards an Automated Geometer
• On automated completion of geometry statements and proofs with GeoGebra Discovery
• The \texttt{ShowProof} command in \textit{GeoGebra Discovery}: towards the automated ranking of elementary geometry theorems
• Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick

Describes a project that uses

Uses Software

• GeoGebra

This page was built for publication: Development of automatic reasoning tools in GeoGebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5270196)