Plane geometry prover based on barycentric coordinates

MaRDI QIDQ3518098zbMATH OpenFDO

Authors Gang Sun

Publication date 6 August 2008

zbMATH Keywords

automated theorem provingbarycentric coordinatesgeometry prover

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 24460
• Mechanical proof of planimetric theorems of rational type
• scientific article; zbMATH DE number 1263331
• Mechanical geometry theorem proving
• Readable machine proofs for mass point geometry

Cited in

(3)

• The uses of homogeneous barycentric coordinates in plane Euclidean geometry
• scientific article; zbMATH DE number 24460 (Why is no real title available?)
• scientific article; zbMATH DE number 2058519 (Why is no real title available?)

Describes a project that uses

Uses Software

• Maple

This page was built for publication: Plane geometry prover based on barycentric coordinates

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