scientific article; zbMATH DE number 994744

MaRDI QIDQ3126575zbMATH OpenFDO

Authors Wen-tsün Wu

Publication date 31 March 1997

zbMATH Keywords

geometry theorem-provingmathematics mechanizationmechanical theorem provingmechanizability

Mathematics Subject Classification ID

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

Recommendations

• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• Automatted geometry theorem proving
• Automatic theorem proving for three decades
• scientific article; zbMATH DE number 3926283

Cited in

(11)

• Euclidean geometry in terms of automata theory
• From informal to formal proofs in Euclidean geometry
• Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry
• Automatic theorem proving for three decades
• scientific article; zbMATH DE number 3926284 (Why is no real title available?)
• scientific article; zbMATH DE number 2160466 (Why is no real title available?)
• scientific article; zbMATH DE number 871441 (Why is no real title available?)
• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
• Euclidean machines: general theory of problem
• Euclid after Computer Proof-Checking
• Towards an automatic geometer

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 Q3126575)