Geometry Expressions
From MaRDI portal
Software:18127
swMATH5989MaRDI QIDQ18127FDOQ18127
Author name not available (Why is that?)
Cited In (10)
- 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
- 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
