An introduction to Wu's method for mechanical theorem proving in geometry

DOI10.1007/BF00244942zbMATH Open0715.03005WikidataQ56336842 ScholiaQ56336842MaRDI QIDQ751640FDOQ751640

Shang-Ching Chou

Publication date: 1988

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

zbMATH Keywords

generic pointFeuerbach's theoremgeometry theorem provingirreducible ascending chainpseudo divisionRitt's principle[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Th%EF%BF%BD%EF%BF%BDbault%27s+conjecture&go=Go Th��bault's conjecture]

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Software, source code, etc. for problems pertaining to geometry (51-04)

Cited In (11)

• A systematic framework for solving geometric constraints analytically
• A review and prospect of readable machine proofs for geometry theorems
• A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
• On the mechanization of straightedge and compass constructions
• Title not available (Why is that?)
• Proof-checking Euclid
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
• An identity method for proving geometry theorems based on Wu's method
• The computer searches for Pascal conics
• Logic for physical space. From antiquity to present day

This page was built for publication: An introduction to Wu's method for mechanical theorem proving in geometry

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