An optimized path planning of manipulator with spline curves using real quantifier elimination based on comprehensive Gröbner systems. - Yusuke Shirato; Natsumi Oka; Akira Terui; Masahiko Mikawa (SCSS (Work in Progress), 2024)

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gröbner Systems. - Yusuke Shirato; Natsumi Oka; Akira Terui; Masahiko Mikawa (CoRR, 2024)