Max Robotics — Global Service Robot Directory + US Certification

About

Akira Terui is a researcher at the intersection of symbolic computation and applied robotics, whose work demonstrates the power of automated reasoning in solving real-world problems. His primary research areas include automated deduction, Gröbner bases, and quantifier elimination, with a focus on practical implementations for robotics and education. Terui’s most notable contribution is his innovative application of Comprehensive Gröbner Systems (CGS) to inverse kinematics—a fundamental challenge in robotics. In his 2021 paper, he designed and implemented a method using real quantifier elimination with CGS to compute inverse kinematics for a three-degree-of-freedom robot manipulator, enabling verification of parameter feasibility. This work builds on his earlier 2020 paper on inverse kinematics using Gröbner bases, which has garnered 5 citations. His most cited work (7 citations) tackles automated deduction for solving university entrance exam sequence problems, showcasing his broader interest in making symbolic computation accessible for education. While his citation counts are modest, Terui’s contributions are technically significant, bridging advanced algebraic algorithms with tangible engineering applications. His research offers valuable insights for students and researchers exploring the practical deployment of symbolic computation in robotics and automated reasoning.