activity
20082025
most citedGPGCD: An iterative method for calculating approximate GCD of univariate polynomials

14 citations · 39 across the 15 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.RO2021★ 3 cited

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

The solution and implementation of the inverse kinematics computation of a three degree-of-freedom (DOF) robot manipulator using an algorithm for real quantifier elimination with C…