TY  - RPRT
TI  - A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gröbner Systems
AU  - Shuto Otaki
AU  - Akira Terui
AU  - Masahiko Mikawa
PY  - 2023
UR  - https://arxiv.org/abs/2111.00384
ID  - 2111.00384
ER  -