gcl

swMATH7212MaRDI QIDQ19263FDOQ19263

Author name not available (Why is that?)

Described by source

• Geometry constructions language

Cited In (8)

• Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
• New dynamics in dynamic geometry: dragging constructed points
• Taxonomies of geometric problems
• Portfolio theorem proving and prover runtime prediction for geometry
• Automated theorem proving in GeoGebra: current achievements
• The area method. A recapitulation
• Proof Assistant Decision Procedures for Formalizing Origami
• A Singular web service for geometric computations

This page was built for software: gcl