The following pages link to (Q3700869):
Displaying 22 items.
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- Algorithms for computing triangular decomposition of polynomial systems (Q413407) (← links)
- A bridge between dynamic geometry and computer algebra (Q597561) (← links)
- Mechanical geometry theorem proving based on Gröbner bases (Q676849) (← links)
- The parallel numerical method of mechanical theorem proving (Q914413) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- On the application of Buchberger's algorithm to automated geometry theorem proving (Q1094149) (← links)
- Using Gröbner bases to reason about geometry problems (Q1094150) (← links)
- Wu's method and its application to perspective viewing (Q1115642) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving (Q1311409) (← links)
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang (Q1329538) (← links)
- Conditions for the origin to be a center and the bifurcation of limit cycles in a class of cubic systems (Q1373825) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. (Q1426144) (← links)
- Mechanical theorem proving in projective geometry (Q1924746) (← links)
- Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences (Q2071535) (← links)
- A parametric approach to 3D dynamic geometry (Q2229885) (← links)
- Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving (Q2461488) (← links)
- (Q2716051) (← 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)
- Geometry machines: from AI to SMC (Q6560378) (← links)
