Machine Proofs in Geometry
From MaRDI portal
Publication:4857780
Recommendations
Cited in
(56)- Cayley factorization and the area principle
- Recent advances in automated theorem proving on inequalities
- A review and prospect of readable machine proofs for geometry theorems
- A graphical user interface for formal proofs in geometry
- A symbolic dynamic geometry system using the analytical geometry method
- On n-sectors of the angles of an arbitrary triangle
- Geometry machines: from AI to SMC
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
- Automated theorem proving practice with null geometric algebra
- Self-evident automated proving based on point geometry from the perspective of Wu's method identity
- Retrieving geometric information from images: the case of hand-drawn diagrams
- New dynamics in dynamic geometry: dragging constructed points
- An introduction to geometry expert
- Taxonomies of geometric problems
- Readable machine proofs for mass point geometry
- Self-evident automated geometric theorem proving based on complex number identity
- Proof-checking Euclid
- Portfolio theorem proving and prover runtime prediction for geometry
- scientific article; zbMATH DE number 1189075 (Why is no real title available?)
- Automated theorem proving in GeoGebra: current achievements
- Measuring the readability of geometric proofs: the area method case
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry.
- Learning to solve geometric construction problems from images
- A case study in formalizing projective geometry in Coq: Desargues theorem
- scientific article; zbMATH DE number 3926284 (Why is no real title available?)
- Challenging theorem provers with Mathematical Olympiad problems in solid geometry
- Mechanical Theorem Proving in Tarski’s Geometry
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- Automated deduction and knowledge management in geometry
- Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
- Formalization of Wu's simple method in Coq
- Formalization of the arithmetization of Euclidean plane geometry and applications
- Generalizing Morley's and other theorems with automated realization
- A program to create new geometry proof problems
- Automated discovery of angle theorems
- Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space
- A class of mechanically decidable problems beyond Tarski's model
- The Voronoi diagram of three lines
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
- Automated generation of readable proofs for constructive geometry statements with the mass point method
- Automated production of traditional proofs in solid geometry
- scientific article; zbMATH DE number 1745042 (Why is no real title available?)
- Automated discovery of geometric theorems based on vector equations
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
- scientific article; zbMATH DE number 2155188 (Why is no real title available?)
- Geometric constraint solving with geometric transformation
- The area method and proving plane geometry theorems
- scientific article; zbMATH DE number 4187179 (Why is no real title available?)
- Automated and readable simplification of trigonometric expressions
- Automatic Deduction in an AI Geometry Book
- A method for the automated discovery of angle theorems
- Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach
- The area method in the Wolfram language
- Automated reasoning in geometry
- A coherent logic based geometry theorem prover capable of producing formal and readable proofs
- Can one define geometry today?
This page was built for publication: Machine Proofs in Geometry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4857780)
