A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases. - Noriyuki Horigome; Akira Terui; Masahiko Mikawa (ICMS, 2020)