A new theorem discovered by computer prover
From MaRDI portal
Publication:583606
DOI10.1007/BF01231031zbMath0692.51004OpenAlexW2074337495MaRDI QIDQ583606
Publication date: 1989
Published in: Journal of Geometry (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01231031
Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to geometry (51-04) Configuration theorems in linear incidence geometry (51A20) Desarguesian and Pappian geometries (51A30)
Related Items (5)
On protocols for the automated discovery of theorems in elementary geometry ⋮ On the automatic derivation of a set of geometric formulae ⋮ Towards the Automatic Discovery of Theorems in GeoGebra ⋮ Formalization of Wu’s Simple Method in Coq ⋮ Development of automatic reasoning tools in GeoGebra
Cites Work
This page was built for publication: A new theorem discovered by computer prover
