On the unavoidable uncertainty of truth in dynamic geometry proving

DOI10.1007/S11786-016-0246-4MaRDI QIDQ294370zbMATH OpenOpenAlexFDO

Authors Francisco Botana, Tomas 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

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

Recommendations

• Detecting truth, just on parts
• Development of automatic reasoning tools in GeoGebra
• Computational Science and Its Applications – ICCSA 2004
• scientific article; zbMATH DE number 1745037
• Towards an Automated Geometer

Cites work

• A Singular web service for geometric computations
• Automated theorem proving in GeoGebra: current achievements
• Automatic discovery of theorems in elementary geometry
• GeoGebra
• scientific article; zbMATH DE number 41286 (Why is no real title available?)
• scientific article; zbMATH DE number 1276823 (Why is no real title available?)
• On protocols for the automated discovery of theorems in elementary geometry

Cited in

(4)

• Formalization of the arithmetization of Euclidean plane geometry and applications
• On the mechanization of straightedge and compass constructions
• Detecting truth, just on parts
• 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: On the unavoidable uncertainty of truth in dynamic geometry proving

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