Geometry Expressions
From MaRDI portal
Software:18127
No author found.
Related Items (10)
Optimal decomposition and recombination of isostatic geometric constraint systems for designing layered materials ⋮ Automated discovery of geometric theorems based on vector equations ⋮ Automatic deduction in (dynamic) geometry: Loci computation ⋮ Algorithm 951 ⋮ 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 ⋮ First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems ⋮ A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry ⋮ Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
This page was built for software: Geometry Expressions
