works on
comprehensive grobner systems 1inverse kinematics 1real quantifier elimination 1robot manipulators 1trajectory planning 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.RO2026

Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems

Yu Nakai, Akira Terui, Masahiko Mikawa

The paper introduces an algorithm that uses real quantifier elimination via comprehensive Gröbner systems to efficiently plan and certify trajectories for 3‑DOF robot manipulators,…