Automated Deduction in Geometry

DOI10.1007/b95516zbMath1202.68489OpenAlexW2489376520MaRDI QIDQ5902022

Fabrice Rouillier, Solen Corvez

Publication date: 4 June 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95516

zbMATH Keywords

Gröbner basiscylindrical algebraic decompositionsemialgebraic setstriangular setsserial manipulators

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Kinematics of mechanisms and robots (70B15)

Related Items (10)

On the determination of cusp points of 3-RPR parallel manipulators ⋮ Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations ⋮ Solving parametric piecewise polynomial systems ⋮ Solving parametric polynomial systems ⋮ Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping ⋮ Trace-positive complex polynomials in three unitaries ⋮ Properness defects of projection and minimal discriminant variety ⋮ Thirty years of polynomial system solving, and now? ⋮ A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications ⋮ Solving parametric systems of polynomial equations over the reals through Hermite matrices

Uses Software

• FGb
• ISOLATE

This page was built for publication: Automated Deduction in Geometry