@misc{indiciae31f67ddced9f,
  title = {Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems},
  author = {Yu Nakai and Akira Terui and Masahiko Mikawa},
  year = {2026},
  url = {https://arxiv.org/abs/2607.11657},
  note = {Source identifier: 2607.11657}
}