Development of automatic reasoning tools in GeoGebra

DOI10.1145/3015306.3015309zbMath1365.68431OpenAlexW2548455039MaRDI QIDQ5270196

Francisco Botana, Zoltán Kovács, Miguel A. Abánades, Tomás 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

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

Related Items

Rewriting input expressions in complex algebraic geometry provers ⋮ Towards an Automated Geometer ⋮ A mechanical geometer ⋮ Two almost-circles, and two real ones ⋮ Automated study of a regular trifolium ⋮ Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick ⋮ Reasoning about linkages with dynamic geometry

Uses Software

• GeoGebra

Cites Work

• Unnamed Item
• Automated theorem proving in GeoGebra: current achievements
• A new theorem discovered by computer prover
• On protocols for the automated discovery of theorems in elementary geometry
• Wu's method and its application to perspective viewing
• Automatic discovery of theorems in elementary geometry
• An Introduction to Automated Discovery in Geometry through Symbolic Computation