gcl
From MaRDI portal
Software:19263
No author found.
Related Items (8)
Automated theorem proving in GeoGebra: current achievements ⋮ Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ The area method. A recapitulation ⋮ Proof Assistant Decision Procedures for Formalizing Origami ⋮ New dynamics in dynamic geometry: dragging constructed points ⋮ Taxonomies of geometric problems ⋮ A Singular web service for geometric computations
This page was built for software: gcl
