Quantifier elimination
相关论文数: 5
顶级研究者
最高引用论文
A new algebraic method for robot motion planning and real geometry
John Canny
引用数: 100 • 1987
Image transformation approach to nonlinear shape restoration
Yuan Yan Tang, Ching Y. Suen
引用数: 54 • 1993
Quantifier elimination in real closed fields
Franz Winkler
引用数: 2 • 1996
Advances in cylindrical algebraic decomposition
David J. D. Wilson
引用数: 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
引用数: 2 • 2021