Pages that link to "Item:Q5200127"
From MaRDI portal
The following pages link to A Symbolic Companion for Interactive Geometric Systems (Q5200127):
Displaying 9 items.
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- A symbolic dynamic geometry system using the analytical geometry method (Q1995810) (← links)
- A parametric approach to 3D dynamic geometry (Q2229885) (← links)
- Reasoning about linkages with dynamic geometry (Q2334575) (← links)
- Detecting truth, just on parts (Q2425054) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- (Q4232469) (← links)
- (Q4780212) (← links)