Shuto Otaki
Papers
1
Total Citations
2
H-Index
1
About
Shuto Otaki is a researcher in symbolic computation and robotics, whose work bridges the gap between algebraic geometry and practical engineering. His primary research focuses on applying real quantifier elimination and Comprehensive Gröbner Systems (CGS) to solve complex kinematic problems in robotics. In his most cited paper, Otaki developed a novel algorithm that uses CGS-based real quantifier elimination to compute inverse kinematics for a three-degree-of-freedom robot manipulator. This approach not only solves for joint parameters but also verifies the feasibility of given configurations—a critical step often overlooked in traditional numerical methods. While his citation count is currently modest, the theoretical depth and practical applicability of his work position it as a foundational contribution to the field of exact robotic motion planning. Otaki’s research demonstrates how advanced symbolic techniques can provide provably correct solutions to problems that typically rely on approximation, offering a rigorous alternative for precision-critical applications in automation and control.
Research Focus
Key Achievements
Top Papers
- 1