swMATH5989MaRDI QIDQ18127FDOQ18127
Author name not available (Why is that?)
Official website: https://geometryexpressions.com
Cited In (25)
- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- A symbolic dynamic geometry system using the analytical geometry method
- A system for automated deduction in engineering mechanics
- Connecting the 3D DGS Calques3D with the CAS Maple
- Optimal decomposition and recombination of isostatic geometric constraint systems for designing layered materials
- Epsilon
- I2Geo
- GeoGebra
- Geometer's Sketchpad
- LAD
- Cabri-geometry
- JSXGraph
- Algodoo
- Calques 3D
- GeometryTouch
- Lugares
- PyGeo
- sketchometry
- CayMos
- CUIK
- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
- Automated discovery of geometric theorems based on vector equations
- 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
