Readable machine proofs for mass point geometry

DOI10.3724/SP.J.1087.2010.01899MaRDI QIDQ2911357zbMATH OpenOpenAlexFDO

Authors Yu Zou, Huan Zheng, Jingzhong Zhang

Publication date 30 August 2012

Published in Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/sp.j.1087.2010.01899

zbMATH Keywords

Hilbert intersection point statementsparticle geometryreadable machine proof

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Automated generation of readable proofs for constructive geometry statements with the mass point method
• A review and prospect of readable machine proofs for geometry theorems
• Machine Proofs in Geometry
• Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
• Automatted geometry theorem proving

Cited in

(5)

• Automated production of traditional proofs in solid geometry
• A computer-aided proof of a conjecture in Euclidean geometry
• Automated generation of readable proofs for constructive geometry statements with the mass point method
• Plane geometry prover based on barycentric coordinates
• Machine Proofs in Geometry

Describes a project that uses

Uses Software

• Maple

This page was built for publication: Readable machine proofs for mass point geometry

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