Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. - Mizuki Yoshizawa; Akira Terui; Masahiko Mikawa (CASC, 2023)