gcl

MaRDI QIDQ19263swMATHFDO

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

Described by source

• Geometry constructions language

Cited in

(31)

• Proof assistant decision procedures for formalizing origami
• Automated theorem proving in GeoGebra: current achievements
• Computer theorem proving for verifiable solving of geometric construction problems
• Taxonomies of geometric problems
• The area method. A recapitulation
• A Singular web service for geometric computations
• Portfolio theorem proving and prover runtime prediction for geometry
• GCLC
• MMP/Geometer
• Xeukleides
• Eukleides
• GeoProof
• GCLCprover
• GeoThms
• Giac
• SCSCP
• ArgoCLP
• OpenGeoProver
• Dr.Doodle
• GEX
• sketchometry
• GeoView
• JGEX
• Geometrix
• ArgoTriCS
• URSA
• VirtualBox
• CHYPRE
• paramGeo3D
• EUCLID
• New dynamics in dynamic geometry: dragging constructed points

This page was built for software: gcl