gcl

swMATH7212MaRDI QIDQ19263FDOQ19263

Author name not available (Why is that?)

Official website: http://rd.springer.com/article/10.1007%2Fs10817-009-9135-8

Described by source

• Geometry constructions language

Cited In (29)

• 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
• GCLC
• Eukleides
• GeoProof
• GCLCprover
• GeoThms
• Giac
• SCSCP
• ArgoCLP
• OpenGeoProver
• Dr.Doodle
• GEX
• sketchometry
• GeoView
• JGEX
• Geometrix
• ArgoTriCS
• URSA
• VirtualBox
• CHYPRE
• paramGeo3D
• Computer theorem proving for verifiable solving of geometric construction problems
• EUCLID
• A Singular web service for geometric computations
• Proof assistant decision procedures for formalizing origami

This page was built for software: gcl