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 (CoRR, 2021)