A new theorem discovered by computer prover

DOI10.1007/BF01231031zbMATH Open0692.51004OpenAlexW2074337495MaRDI QIDQ583606FDOQ583606

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

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

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)

Cites Work

• Title not available (Why is that?)
• Pappus lines and Leisenring lines

Cited In (6)

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

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)