Paper Citation Record · LEDGER

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems

As of 23 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2412.18294.

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

pith.paper-citation-record.v1
2412.18294 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T04:54:53.683815Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+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

22 of 22 outbound references displayed

verified exact0
verified fuzzy9
unresolved12
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e734afb8-8c56-4db7-83c9-fb9fd5376d78 · outbound

This paper cites Springer, Berlin, Heidelberg (2016).

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems Springer, Berlin, Heidelberg (2016)

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T04:54:53.509597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b750f0a-368b-4874-b8b0-0d62d44638e5 · outbound

This paper cites Research Report RR-5923, INRIA (2006).

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems Research Report RR-5923, INRIA (2006)

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T04:54:54.515578Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 7c1f2343-8628-4645-bc90-9ea5ed04524a · outbound

This paper cites an unresolved cited work.

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-11T04:54:53.525607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ec30f95-8b3c-4097-8170-fb3746ebd6b4 · outbound

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

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems Mathematical Problems in Engineering 2021, 6680687 (2021) https://doi.org/10.1155/2021/6680687

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-11T04:54:53.534842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9435e96a-13a5-41f9-9f2c-cf3b310dc2c7 · outbound

This paper cites Multibody System Dynamics 25, 335–356 (2011) https://doi.org/10.1007/s11044-010-9241-8.

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems Multibody System Dynamics 25, 335–356 (2011) https://doi.org/10.1007/s11044-010-9241-8

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T04:54:53.544170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a17b6428-8e0f-40bc-a2b6-eda35c8605e6 · outbound

This paper cites an unresolved cited work.

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-11T04:54:53.551153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2108672d-77b9-4677-82a3-8dfdf30ad9a5 · outbound

This paper cites In: Bigatti, A.M., Carette, J., Davenport, J.H., Joswig, M., Wolff, T.

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems In: Bigatti, A.M., Carette, J., Davenport, J.H., Joswig, M., Wolff, T

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T04:54:54.493660Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 2b80f299-0804-43d8-8b27-5d21d1e64264 · 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.

An Optimized Path Planning of Manipulator Using Spline Curves and 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 8

Resolution: unresolved; no resolver link, observed 2026-08-11T04:54:53.566248Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5667cd33-32a0-4c93-8711-b313689eae96 · outbound

This paper cites In: Computer Algebra in Scientific Computing.

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems In: Computer Algebra in Scientific Computing

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-11T04:54:53.576146Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 585896cd-057e-460a-9654-9313738d30ab · outbound

This paper cites an unresolved cited work.

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-11T04:54:53.583748Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa02c3bd-ca45-4be8-9da6-41fe12e71898 · outbound

This paper cites In: Proceedings of the 2015 ACM on Inter- national Symposium on Symbolic and Algebraic Computation.

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems In: Proceedings of the 2015 ACM on Inter- national Symposium on Symbolic and Algebraic Computation

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-11T04:54:53.593435Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 665d7f96-d776-4507-944d-c0b99fb5b657 · outbound

This paper cites (Accessed 2024-05-04) (2023).

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems (Accessed 2024-05-04) (2023)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T04:54:54.474547Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a56a98ba-9d96-4334-b09a-21f2158d4239 · outbound

This paper cites The Mor- gan Kaufmann Series in Computer Graphics.

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems The Mor- gan Kaufmann Series in Computer Graphics

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-11T04:54:53.608502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74937ac3-8b69-46d6-9a71-00fcfe30b5be · outbound

This paper cites Cambridge University Press, Cambridge (2017).

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems Cambridge University Press, Cambridge (2017)

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T04:54:54.451403Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8bf7a64a-7d8f-4ac6-b25a-fdf6510d85ff · outbound

This paper cites In: Papers from the International Symposium on Symbolic and Algebraic Computation.

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems In: Papers from the International Symposium on Symbolic and Algebraic Computation

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-11T04:54:53.625767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51448d3a-39b8-4054-9d7e-ce9bae489b07 · outbound

This paper cites In: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation.

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems In: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation

Reference 16

Resolution: malformed identifier; no resolver link, observed 2026-08-11T04:54:53.633342Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b169ebb-3fd4-49a9-a9b4-c5c0fe1812b2 · outbound

This paper cites https://www.rs.tus.ac.jp/∼nabeshima/ softwares.html (Accessed 2024-05-04) (2018).

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems https://www.rs.tus.ac.jp/∼nabeshima/ softwares.html (Accessed 2024-05-04) (2018)

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T04:54:54.420039Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 278a6c85-4249-40a6-b33b-0f6683174f4a · outbound

This paper cites Accessed 2024-05-04 (2022).

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems Accessed 2024-05-04 (2022)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T04:54:54.392482Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 974ba41f-367d-4c3a-a801-3b8c3c0c9c32 · outbound

This paper cites an unresolved cited work.

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-11T04:54:53.661856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ad8af24-cde8-47c9-893b-d5e0f5ac53f6 · outbound

This paper cites The MIT Press, Cambridge, MA, USA (2022).

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems The MIT Press, Cambridge, MA, USA (2022)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T04:54:54.370303Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 39bc659b-1757-439e-97b4-dc60ff77cd92 · outbound

This paper cites https://qiita.com/simonritchie/items/ 216eae753fc393da52af (Accessed: 2024-05-04) (2023).

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems https://qiita.com/simonritchie/items/ 216eae753fc393da52af (Accessed: 2024-05-04) (2023)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T04:54:54.332413Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 259606ff-fb79-4663-9433-575887526ee6 · outbound

This paper cites In: Nabeshima, K., Watt, S.M.

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\"obner Systems In: Nabeshima, K., Watt, S.M

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T04:54:54.308510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Pith citing papers

No inbound Pith citation observations are available.