Automated generation of illustrations for synthetic geometry proofs
From MaRDI portal
Cites work
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- A graphical user interface for formal proofs in geometry
- An introduction to Java geometry expert. (Extended abstract)
- Automated Deduction in Geometry
- Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
- Automated theorem proving in GeoGebra: current achievements
- Automating Coherent Logic
- GCLC -- a tool for constructive Euclidean geometry and more than that
- Geometric Resolution: A Proof Procedure Based on Finite Model Search
- Geometrisation of first-order logic
- Geometry constructions language
- scientific article; zbMATH DE number 1961548 (Why is no real title available?)
- Proof-checking Euclid
- Sheaves in geometry and logic: a first introduction to topos theory
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- 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
Cited in
(2)
This page was built for publication: Automated generation of illustrations for synthetic geometry proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6653962)
