On the unavoidable uncertainty of truth in dynamic geometry proving

DOI10.1007/S11786-016-0246-4zbMath1357.68197OpenAlexW2296599906MaRDI QIDQ294370

Francisco Botana, Tomás Recio

Publication date: 16 June 2016

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10902/7266

zbMATH Keywords

automated theorem provingdynamic geometryGeoGebraVarignon theorem

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to geometry (51-04)

Related Items (4)

Formalization of the arithmetization of Euclidean plane geometry and applications ⋮ Detecting truth, just on parts ⋮ On the mechanization of straightedge and compass constructions ⋮ Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick

Uses Software

• GeoGebra

Cites Work

• Unnamed Item
• Unnamed Item
• GeoGebra
• Automated theorem proving in GeoGebra: current achievements
• On protocols for the automated discovery of theorems in elementary geometry
• Automatic discovery of theorems in elementary geometry
• A Singular web service for geometric computations

This page was built for publication: On the unavoidable uncertainty of truth in dynamic geometry proving