A new theorem discovered by computer prover

DOI10.1007/BF01231031MaRDI QIDQ583606zbMATH OpenOpenAlexFDO

Authors Dongming Wang

Publication date 1989

Published in Journal of Geometry (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01231031

zbMATH Keywords

Leisenring linesmechanical theorem provingPappus lines

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Configuration theorems in linear incidence geometry (51A20) Software, source code, etc. for problems pertaining to geometry (51-04) Desarguesian and Pappian geometries (51A30)

Recommendations

• A New Proof of a Theorem of Solomon
• scientific article; zbMATH DE number 1550362
• scientific article; zbMATH DE number 55012
• scientific article; zbMATH DE number 5269066
• scientific article; zbMATH DE number 4071864
• scientific article; zbMATH DE number 64156
• Computer theorem proving in mathematics
• A New Proof of Euclid's Theorem

Cites work

• scientific article; zbMATH DE number 4021099 (Why is no real title available?)
• Pappus lines and Leisenring lines

Cited in

(6)

• Development of automatic reasoning tools in GeoGebra
• Formalization of Wu's simple method in Coq
• Towards the Automatic Discovery of Theorems in GeoGebra
• On the automatic derivation of a set of geometric formulae
• On protocols for the automated discovery of theorems in elementary geometry
• Geometry machines: from AI to SMC

This page was built for publication: A new theorem discovered by computer prover

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