The following pages link to Automated Deduction in Geometry (Q5902022):
Displaying 12 items.
- On the determination of cusp points of 3-RPR parallel manipulators (Q612672) (← links)
- Solving parametric piecewise polynomial systems (Q651936) (← links)
- Properness defects of projection and minimal discriminant variety (Q719760) (← links)
- Thirty years of polynomial system solving, and now? (Q1006651) (← links)
- Classification of manipulators of the same origin by virtue of compactness and complexity (Q1760143) (← links)
- Solving parametric systems of polynomial equations over the reals through Hermite matrices (Q2117425) (← links)
- Solving parametric polynomial systems (Q2455750) (← links)
- An exhaustive study of the workspace topologies of all 3R orthogonal manipulators with geometric simplifications (Q2496288) (← links)
- A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications (Q2829998) (← links)
- Trace-positive complex polynomials in three unitaries (Q3053501) (← links)
- Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping (Q3597979) (← links)
- Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations (Q5103757) (← links)
