An introduction to Wu's method for mechanical theorem proving in geometry
From MaRDI portal
Publication:751640
DOI10.1007/BF00244942zbMath0715.03005WikidataQ56336842 ScholiaQ56336842MaRDI QIDQ751640
Publication date: 1988
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
generic pointFeuerbach's theoremgeometry theorem provingirreducible ascending chainpseudo divisionRitt's principleThébault's conjecture
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
The computer searches for Pascal conics ⋮ Proof-checking Euclid ⋮ On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving ⋮ Logic for physical space. From antiquity to present day ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ On the mechanization of straightedge and compass constructions ⋮ A systematic framework for solving geometric constraints analytically ⋮ A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
This page was built for publication: An introduction to Wu's method for mechanical theorem proving in geometry
