gcl

swMATH7212MaRDI QIDQ19263FDOQ19263

Author name not available (Why is that?)

Described by source

• Geometry constructions language

Cited In (8)

• 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
• Computer theorem proving for verifiable solving of geometric construction problems
• A Singular web service for geometric computations
• Proof assistant decision procedures for formalizing origami

This page was built for software: gcl