The following pages link to Machine Proofs in Geometry (Q4857780):
Displayed 42 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381) (← links)
- A case study in formalizing projective geometry in Coq: Desargues theorem (Q448975) (← links)
- Geometric constraint solving with geometric transformation (Q865932) (← links)
- The Voronoi diagram of three lines (Q1028584) (← links)
- Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space (Q1042824) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. (Q1426144) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Generalizing Morley's and other theorems with automated realization (Q1655490) (← links)
- Self-evident automated proving based on point geometry from the perspective of Wu's method identity (Q1730304) (← links)
- Automated theorem proving practice with null geometric algebra (Q1730305) (← links)
- Retrieving geometric information from images: the case of hand-drawn diagrams (Q1741163) (← links)
- Recent advances in automated theorem proving on inequalities (Q1966106) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- A symbolic dynamic geometry system using the analytical geometry method (Q1995810) (← links)
- On \(n\)-sectors of the angles of an arbitrary triangle (Q1995812) (← links)
- Learning to solve geometric construction problems from images (Q2128821) (← links)
- New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Automated and readable simplification of trigonometric expressions (Q2426094) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- A class of mechanically decidable problems beyond Tarski's model (Q2475316) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
- The Area Method and Proving Plane Geometry Theorems (Q2949300) (← links)
- Formalization of Wu’s Simple Method in Coq (Q3100204) (← links)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
- Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method (Q3102746) (← links)
- An introduction to geometry expert (Q4647519) (← links)
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235) (← links)
- Mechanical Theorem Proving in Tarski’s Geometry (Q5453489) (← links)
- A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> (Q5850985) (← links)
- Can one define geometry today? (Q5954146) (← links)
- Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation (Q5961492) (← links)
- Cayley factorization and the area principle (Q5964225) (← links)
- Self-evident automated geometric theorem proving based on complex number identity (Q6149590) (← links)
- Measuring the readability of geometric proofs: the area method case (Q6156633) (← links)
- Automated discovery of angle theorems (Q6185786) (← links)
- A program to create new geometry proof problems (Q6185788) (← links)