Quantifier elimination
Related papers: 5
Top Researchers
Top Cited Papers
A new algebraic method for robot motion planning and real geometry
John Canny
Citations: 100 • 1987
Image transformation approach to nonlinear shape restoration
Yuan Yan Tang, Ching Y. Suen
Citations: 54 • 1993
Quantifier elimination in real closed fields
Franz Winkler
Citations: 2 • 1996
Advances in cylindrical algebraic decomposition
David J. D. Wilson
Citations: 2 • 2014
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gröbner Systems
Shuto Otaki, Akira Terui, Masahiko Mikawa
Citations: 2 • 2021