{"as_of":"2026-08-23T19:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9480c91e9396f2096693667165c479221b8eb3095549591357fa1d050310147f","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T04:54:53.683815Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2412.18294/citation-record","integrity":"/paper/2412.18294/integrity","json":"/paper/2412.18294/citation-record.json","paper":"/paper/2412.18294"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:53.509597Z","title":"Springer, Berlin, Heidelberg (2016)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.509597Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:593b73a1bb806b19ce360cd5f45cb495eaf939480cac0f2f29844aecde9e6d19","observation_id":"e734afb8-8c56-4db7-83c9-fb9fd5376d78","resolution":{"observed_at":"2026-08-11T04:54:53.509597Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:54.509112Z","title":"Research Report RR-5923, INRIA (2006)","venue":null,"work_id":"4b71dc6a-206e-4205-bffe-cb343b0323ec","year":2006},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.518373Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:4bb810199263cc149d53285fe4697f0e14896300fb1bc84244f03037f2048cc7","observation_id":"7b750f0a-368b-4874-b8b0-0d62d44638e5","resolution":{"observed_at":"2026-08-11T04:54:54.515578Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:53.525607Z","title":null,"venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.525607Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:d88c90ec88d06b33a2d8b30b8e3668ec01698b363b95be1d4eafc041aff63383","observation_id":"7c1f2343-8628-4645-bc90-9ea5ed04524a","resolution":{"observed_at":"2026-08-11T04:54:53.525607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:53.534842Z","title":"Mathematical Problems in Engineering 2021, 6680687 (2021) https://doi.org/10.1155/2021/6680687","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.534842Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:3fc692d2f7503cbd04d61954f969f5ebc7c4bd4c84118d99a0ac53342e517e34","observation_id":"4ec30f95-8b3c-4097-8170-fb3746ebd6b4","resolution":{"observed_at":"2026-08-11T04:54:53.534842Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:53.544170Z","title":"Multibody System Dynamics 25, 335–356 (2011) https://doi.org/10.1007/s11044-010-9241-8","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.544170Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:c03fdba237b6e95e14904155e211b22e0646d8dc5c0b21e13c0361d2aedd7566","observation_id":"9435e96a-13a5-41f9-9f2c-cf3b310dc2c7","resolution":{"observed_at":"2026-08-11T04:54:53.544170Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:53.551153Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.551153Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:d515a511e2d483c7daa47fc189b2a1f5c7cb47452d4c3581a91dbe034d59feed","observation_id":"a17b6428-8e0f-40bc-a2b6-eda35c8605e6","resolution":{"observed_at":"2026-08-11T04:54:53.551153Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:54.487882Z","title":"In: Bigatti, A.M., Carette, J., Davenport, J.H., Joswig, M., Wolff, T","venue":null,"work_id":"b6883caa-8750-4536-847c-b02f6cbf8ddd","year":2020},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.559086Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:d4a7333368e94478aa93e515fa0efe0b6a005eacf6ce17fab122bffcfa91ce33","observation_id":"2108672d-77b9-4677-82a3-8dfdf30ad9a5","resolution":{"observed_at":"2026-08-11T04:54:54.493660Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2111.00384","last_updated":"2023-04-21T12:18:04Z","snapshot_observed_at":"2026-08-19T12:01:34.609305Z","submitted_at":"2021-10-31T02:36:52Z","title":"A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gr\\\"obner Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2111.00384","snapshot_observed_at":"2026-08-11T04:54:53.566248Z","title":"Preprint","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.566248Z"},"links":{"cited_paper":"/paper/2111.00384","citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:8c4ae93219fe77892b02ac68ccdf782a79373ebdf0cc953a2d108b35edd48b42","observation_id":"2b80f299-0804-43d8-8b27-5d21d1e64264","resolution":{"observed_at":"2026-08-11T04:54:53.566248Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:53.576146Z","title":"In: Computer Algebra in Scientific Computing","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.576146Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:287e53c04d82b9aa6109e1fb1c37beb1b1469ea5106eac7c8abe860dbbf99084","observation_id":"5667cd33-32a0-4c93-8711-b313689eae96","resolution":{"observed_at":"2026-08-11T04:54:53.576146Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:53.583748Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.583748Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:40c16080b4431df8461d962122b1868ddaed1afcad1f8daedef9a3b7364c4412","observation_id":"585896cd-057e-460a-9654-9313738d30ab","resolution":{"observed_at":"2026-08-11T04:54:53.583748Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:53.593435Z","title":"In: Proceedings of the 2015 ACM on Inter- national Symposium on Symbolic and Algebraic Computation","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.593435Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:4c46c82eed700ffabf3bf91cd232579d9b1587704266bbfe43a6a3db5fa9887c","observation_id":"aa02c3bd-ca45-4be8-9da6-41fe12e71898","resolution":{"observed_at":"2026-08-11T04:54:53.593435Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:54.467480Z","title":"(Accessed 2024-05-04) (2023)","venue":null,"work_id":"79a3d890-9909-4211-b0ce-82c078edd641","year":2023},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.598731Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:6adcbc333688b061209aa35c98480b58af9bc6cfff6355500a4146a070471774","observation_id":"665d7f96-d776-4507-944d-c0b99fb5b657","resolution":{"observed_at":"2026-08-11T04:54:54.474547Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:53.608502Z","title":"The Mor- gan Kaufmann Series in Computer Graphics","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.608502Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:afc309ffcb63693d86f8588082ece15df15c3566ad7c1315430799f751b268a1","observation_id":"a56a98ba-9d96-4334-b09a-21f2158d4239","resolution":{"observed_at":"2026-08-11T04:54:53.608502Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:54.442188Z","title":"Cambridge University Press, Cambridge (2017)","venue":null,"work_id":"8a12779d-f17e-455f-b505-f940c2743e0c","year":2017},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.615735Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:e28d443e8067ac879e53d19e8c7fb1f15db3ba047e36e20d42afde625b1e0d54","observation_id":"74937ac3-8b69-46d6-9a71-00fcfe30b5be","resolution":{"observed_at":"2026-08-11T04:54:54.451403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:53.625767Z","title":"In: Papers from the International Symposium on Symbolic and Algebraic Computation","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.625767Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:7cf56f2154312fd4c593b77b22d384716ce5ee867bfbd48f563ff60e82d2397d","observation_id":"8bf7a64a-7d8f-4ac6-b25a-fdf6510d85ff","resolution":{"observed_at":"2026-08-11T04:54:53.625767Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:53.633342Z","title":"In: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.633342Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:ef64fabec0ce22dd0ab9d3d2de2d7ee0c122dd93cf309467345ac0d2debbca14","observation_id":"51448d3a-39b8-4054-9d7e-ce9bae489b07","resolution":{"observed_at":"2026-08-11T04:54:53.633342Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:54.413574Z","title":"https://www.rs.tus.ac.jp/∼nabeshima/ softwares.html (Accessed 2024-05-04) (2018)","venue":null,"work_id":"22d7e4bd-5c58-48b3-b53d-7a3d35651244","year":2018},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.640288Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:669731e6915152c3f5042fcfc3052c63f559172897025168d6b7fcfbb21cd7e9","observation_id":"3b169ebb-3fd4-49a9-a9b4-c5c0fe1812b2","resolution":{"observed_at":"2026-08-11T04:54:54.420039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:54.386409Z","title":"Accessed 2024-05-04 (2022)","venue":null,"work_id":"97cf25d0-f7d8-4589-9e4f-3573dc9d2506","year":2022},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.654314Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:cd78f8fbeb229c74b932f5ccf78577f76c677a68fdf268f7f487bcccdce8772c","observation_id":"278a6c85-4249-40a6-b33b-0f6683174f4a","resolution":{"observed_at":"2026-08-11T04:54:54.392482Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:53.661856Z","title":null,"venue":null,"work_id":null,"year":1959},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.661856Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:8e82831fbdf0395d16bf74b1e26c566377e8fb78b752a1f88635478df49132a8","observation_id":"974ba41f-367d-4c3a-a801-3b8c3c0c9c32","resolution":{"observed_at":"2026-08-11T04:54:53.661856Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:54.359144Z","title":"The MIT Press, Cambridge, MA, USA (2022)","venue":null,"work_id":"d3dc024c-1b8c-49a9-9b4e-aa01c47e693c","year":2022},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.669190Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:89f08bf4fd995c7227e85ae75477bf440ae581517f0bb24b3e232d18fa3168eb","observation_id":"3ad8af24-cde8-47c9-893b-d5e0f5ac53f6","resolution":{"observed_at":"2026-08-11T04:54:54.370303Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:54.324768Z","title":"https://qiita.com/simonritchie/items/ 216eae753fc393da52af (Accessed: 2024-05-04) (2023)","venue":null,"work_id":"0b363451-a11f-4737-95f4-8a69a7c7dfdd","year":2023},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.677529Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:29b94d73ce41eef5ca2300399d8314e22a09f05d96c49bc8ee508560e97e45f2","observation_id":"39bc659b-1757-439e-97b4-dc60ff77cd92","resolution":{"observed_at":"2026-08-11T04:54:54.332413Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:54:54.300802Z","title":"In: Nabeshima, K., Watt, S.M","venue":null,"work_id":"ecacc37e-e94a-4efd-98a8-31889d85ccdb","year":2024},"citing_paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T04:54:53.683815Z"},"links":{"citing_paper":"/paper/2412.18294"},"observation_digest":"sha256:6025b08c64095a7484f17d68c4bdc3826dc959678cdafe11b64c1a2bf00a646c","observation_id":"259606ff-fb79-4663-9433-575887526ee6","resolution":{"observed_at":"2026-08-11T04:54:54.308510Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.18294","last_updated":"2024-12-24T09:02:57Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-19T06:00:18.360638Z","submitted_at":"2024-12-24T09:02:57Z","title":"An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":12,"verified_exact":0,"verified_fuzzy":9},"total_outbound_references":22},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"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."}