Pages that link to "Item:Q5453492"
From MaRDI portal
The following pages link to Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System (Q5453492):
Displaying 9 items.
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- Optimal decomposition and recombination of isostatic geometric constraint systems for designing layered materials (Q1632383) (← links)
- A symbolic dynamic geometry system using the analytical geometry method (Q1995810) (← links)
- A system for automated deduction in engineering mechanics (Q1995813) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
- Algorithm 951 (Q2828156) (← links)
- Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} (Q6106414) (← links)
- A program to create new geometry proof problems (Q6185788) (← links)
