Paper Citation Record · LEDGER

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

As of 15 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:2607.11657.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.11657 v1

Coverage vector

measured 17 of 17 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-14T04:04:06.341426Z

measured 17 of 17 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

17 of 17 outbound references displayed

verified exact7
verified fuzzy0
unresolved9
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9c09cac5-db07-49eb-ba8a-7e517d9f7e14 · outbound

This paper cites Springer, Berlin, Heidelberg (2006) 8 Yu Nakai, Akira Terui, and Masahiko Mikawa.

Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems Springer, Berlin, Heidelberg (2006) 8 Yu Nakai, Akira Terui, and Masahiko Mikawa

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-14T04:04:06.341426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0ec35f8-de51-4559-8ac1-f49e6a32c8c4 · outbound

This paper cites Journal of Applied Mechanics22, 215–221 (1955).https: //doi.org/10.1115/1.4011045.

Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems Journal of Applied Mechanics22, 215–221 (1955).https: //doi.org/10.1115/1.4011045

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-14T04:04:06.341426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60fd7420-a735-4a8a-b591-296846310edb · outbound

This paper cites elephantrobotics.com/en/mycobot-280-m5-2023-en, accessed 2026-04-04.

Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems elephantrobotics.com/en/mycobot-280-m5-2023-en, accessed 2026-04-04

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-14T04:04:06.341426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 064c46a8-37a6-4a7e-8526-cbd1f84cb3d3 · outbound

This paper cites Research Report RR-5923, INRIA (2006),https://hal.inria.

Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems Research Report RR-5923, INRIA (2006),https://hal.inria

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-14T04:04:06.341426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 645548f2-976c-4bd2-ac95-90d3fbd51fd1 · outbound

This paper cites In: Proc.

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

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-07-14T04:10:13.414683Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation fd2cb3c3-5c12-45f6-9486-a7f7233d6e7a · outbound

This paper cites an unresolved cited work.

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

Reference 6

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.418656Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 5d29f0a6-5501-45e0-847e-b23299813ba7 · outbound

This paper cites an unresolved cited work.

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

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-14T04:04:06.341426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0816a1f-4fe9-4dda-9438-0b382cdc0163 · outbound

This paper cites In: CASC.

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

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-14T04:04:06.341426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a49a51cb-8139-4644-a6de-e570dcc5541b · outbound

This paper cites 16235, pp.

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

Reference 9

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.392078Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6c165519-7b33-492e-be47-63db60659299 · outbound

This paper cites In: CASC 2025.

Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems In: CASC 2025

Reference 10

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.408249Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7d35f7ad-68b8-4422-9540-4cd069b4a85f · outbound

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

Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gr\"obner Systems

Reference 11

Resolution: malformed identifier; no resolver link, observed 2026-07-14T04:04:06.341426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f340f045-88d2-4f3a-8a2a-547d52227d9b · outbound

This paper cites In: Proceedings of the SCSS 2024 Work in Progress Work- shop.

Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems In: Proceedings of the SCSS 2024 Work in Progress Work- shop

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-14T04:04:06.341426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04b505e0-7cf4-4447-b7a4-6a0a1f566735 · outbound

This paper cites Mathematical Problems in Engineering2021, 6680687 (2021).https://doi.org/10.1155/2021/6680687.

Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems Mathematical Problems in Engineering2021, 6680687 (2021).https://doi.org/10.1155/2021/6680687

Reference 13

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.403822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 04fbfa57-531c-4c5b-889b-b2512d68ea18 · outbound

This paper cites In: Proc.

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

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-07-14T04:10:13.424604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 8178bcb0-813a-4c41-84ac-767fed4a819c · outbound

This paper cites an unresolved cited work.

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

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-14T04:04:06.341426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5f007a5-2cde-40fd-a844-c410a97cef49 · outbound

This paper cites In: CASC 2023, Lecture Notes in Computer Science, vol.

Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems In: CASC 2023, Lecture Notes in Computer Science, vol

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-14T04:04:06.341426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31686be6-f0ec-4fd7-b966-efb651d0ae55 · outbound

This paper cites ,¯αl = ((γl, δl], fl)} ←(the set of isolating intervals satisfying (5) for the set of distinct real roots{α 1,.

Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems ,¯αl = ((γl, δl], fl)} ←(the set of isolating intervals satisfying (5) for the set of distinct real roots{α 1,

Reference 17

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.399605Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Pith citing papers

No inbound Pith citation observations are available.