The following pages link to (Q3700870):
Displaying 13 items.
- A bridge between dynamic geometry and computer algebra (Q597561) (← links)
- The parallel numerical method of mechanical theorem proving (Q914413) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- Why Horn formulas matter in computer science: initial structures and generic examples (Q1089797) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Automated detection of interesting properties in regular polygons (Q1995811) (← links)
- Free objects and Gröbner-Shirshov bases in operated contexts (Q2035823) (← links)
- A parametric approach to 3D dynamic geometry (Q2229885) (← links)
- Numerical generation of periodic traveling wave solutions of some nonlinear dispersive wave systems (Q2406623) (← links)
- Finding solutions of fuzzy polynomial equations systems by an Algebraic method (Q2988589) (← links)
- Finding Fuzzy Inverse Matrix Using Wu’s Method (Q5076676) (← links)
- Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} (Q6106414) (← links)
