Pith. sign in

REVIEW 2 cited by

A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gr\"obner Systems

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2111.00384 v2 pith:HZ5P2TFM submitted 2021-10-31 cs.RO cs.SCmath.AC

classification cs.ROcs.SCmath.AC
keywords computationimplementationinversekinematicsobnercomprehensiveeliminationgiven
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

The solution and implementation of the inverse kinematics computation of a three degree-of-freedom (DOF) robot manipulator using an algorithm for real quantifier elimination with Comprehensive Gr\"obner Systems (CGS) are presented. The method enables us to verify if the given parameters are feasible before solving the inverse kinematics problem. Furthermore, pre-computation of CGS and substituting parameters in the CGS with the given values avoids the repetitive computation of Gr\"obner basis. Experimental results compared with our previous implementation are shown.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gr\"obner Systems

    cs.RO 2025-08 conditional novelty 6.0 of 10

    A Gröbner-based method solves the inverse kinematics of the myCobot 280 by exploiting pairwise-intersecting joint axes, succeeding on 99.7% of forward-kinematics-generated test poses.

  2. Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems

    cs.RO 2026-07 conditional novelty 4.0 of 10

    CGS-based real quantifier elimination certifies inverse-kinematics existence along line and cubic-spline trajectories for a 3-DOF manipulator and returns the feasible parameter ranges.

Pith tools