%0 Journal Article %T An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems %A Shirato, Yusuke %A Oka, Natsumi %A Terui, Akira %A Mikawa, Masahiko %J Computing Research Repository %V 2024 %N 2412 %D 2024-12-24 %~ DeepDyve