Cited in
(27)- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
- A symbolic dynamic geometry system using the analytical geometry method
- A system for automated deduction in engineering mechanics
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- Connecting the 3D DGS Calques3D with the CAS Maple
- Optimal decomposition and recombination of isostatic geometric constraint systems for designing layered materials
- Cinderella
- Epsilon
- I2Geo
- GEOTHER 1.1
- GeoGebra
- Geometer's Sketchpad
- LAD
- Cabri-geometry
- JSXGraph
- Algodoo
- Calques 3D
- GeometryTouch
- Lugares
- PyGeo
- sketchometry
- CayMos
- CUIK
- Automated discovery of geometric theorems based on vector equations
- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
- Algorithm 951: Cayley analysis of mechanism configuration spaces using CayMos: software functionalities and architecture
- Automatic deduction in (dynamic) geometry: Loci computation
This page was built for software: Geometry Expressions
