The following pages link to (Q3700870):
Displaying 25 items.
- A bridge between dynamic geometry and computer algebra (Q597561) (← links)
- Some new results on decidability for elementary algebra and geometry (Q714712) (← links)
- A decision method for certain algebraic geometry problems (Q752130) (← 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)
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (Q1121669) (← links)
- What does ``without loss of generality'' mean, and how do we detect it (Q1701639) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- The undecidability of orthogonal and origami geometries (Q1799289) (← links)
- Automated development of Tarski's geometry (Q1825046) (← links)
- Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← 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)
- A class of mechanically decidable problems beyond Tarski's model (Q2475316) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- Finding solutions of fuzzy polynomial equations systems by an Algebraic method (Q2988589) (← links)
- Finding Fuzzy Inverse Matrix Using Wu’s Method (Q5076676) (← links)
- Computational Science and Its Applications – ICCSA 2004 (Q5307230) (← links)
- Constructions of Free Commutative Integro-Differential Algebras (Q5403088) (← links)
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491) (← links)
- Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} (Q6106414) (← links)
