An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gröbner Systems

Y. Shirato, N. Oka, Akira Terui, Masahiko Mikawa