scientific article; zbMATH DE number 871441

MaRDI QIDQ4874803zbMATH OpenFDO

Authors Predrag Janičić, S. Kordic

Publication date 22 September 1996

zbMATH Keywords

program EUCLID

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to convex and discrete geometry (52-04) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
• scientific article; zbMATH DE number 994744
• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
• Automated Deduction in Geometry
• Mechanical geometry theorem proving

Cited in

(8)

• Theorem proving as constraint solving with coherent logic
• Proof-checking Euclid
• A coherent logic based geometry theorem prover capable of producing formal and readable proofs
• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
• Euclidean machines: general theory of problem
• GCLC -- a tool for constructive Euclidean geometry and more than that
• EUCLID
• Theorem proving as constraint solving for coherent logic with function symbols

This page was built for publication:

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