Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
From MaRDI portal
(Redirected from Publication:5961493)
Recommendations
- Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
- Automated production of traditional proofs in solid geometry
- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
- Machine Proofs in Geometry
- scientific article; zbMATH DE number 1263331
Cites work
- A Prolog technology theorem prover: Implementation by an extended Prolog compiler
- An examination of the geometry theorem machine
- Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
- Automated reasoning in geometry theorem proving with Prolog
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
- Plane geometry theorem proving using forward chaining
Cited in
(25)- scientific article; zbMATH DE number 1746667 (Why is no real title available?)
- A review and prospect of readable machine proofs for geometry theorems
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
- Proving geometry theorems with rewrite rules
- Taxonomies of geometric problems
- Self-evident automated geometric theorem proving based on complex number identity
- 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.
- The area method. A recapitulation
- Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- Automated deduction and knowledge management in geometry
- Automated generation of illustrated proofs in geometry and beyond
- Generalizing Morley's and other theorems with automated realization
- A program to create new geometry proof problems
- Automated generation of readable proofs for constructive geometry statements with the mass point method
- GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
- A method for the automated discovery of angle theorems
- Automated generation of illustrations for synthetic geometry proofs
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
- Towards an intelligent and dynamic geometry book
- A coherent logic based geometry theorem prover capable of producing formal and readable proofs
- Open geometry prover community project
- Theorem discovery amongst cyclic polygons
This page was built for publication: Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5961493)
