Automated production of traditional proofs in solid geometry

DOI10.1007/BF00881858zbMath0824.03005MaRDI QIDQ1891257

Shang-Ching Chou, Jing-Zhong Zhang, Xiao-Shan Gao

Publication date: 9 November 1995

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

circlesphereplanetetrahedronsolid geometrystraight linesconstructive geometryvolume methodEuclidean traditional proofs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Length, area and volume in real or complex geometry (51M25) Geometric constructions in real or complex geometry (51M15)

Related Items (3)

The area method. A recapitulation ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
• Problems and Experiments for and with Automated Theorem-Proving Programs

This page was built for publication: Automated production of traditional proofs in solid geometry