Takumu Okazaki, Akira Terui, Masahiko Mikawa: Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems. CASC 2025: 336-359