{"as_of":"2026-08-11T09:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:18a1bc9ecd726266631f9d29a1b1db55df4566c2601812bc50215ffee805ef34","coverage":[{"denominator":17,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-14T04:04:06.341426Z","state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+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/2607.11657/citation-record","integrity":"/paper/2607.11657/integrity","json":"/paper/2607.11657/citation-record.json","paper":"/paper/2607.11657"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T04:04:06.341426Z","title":"Springer, Berlin, Heidelberg (2006) 8 Yu Nakai, Akira Terui, and Masahiko Mikawa","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:e690ea8522b03a807fde04c48384a5b2a56b706957494d4255d09065e823dbc8","observation_id":"9c09cac5-db07-49eb-ba8a-7e517d9f7e14","resolution":{"observed_at":"2026-07-14T04:04:06.341426Z","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-07-14T04:04:06.341426Z","title":"Journal of Applied Mechanics22, 215–221 (1955).https: //doi.org/10.1115/1.4011045","venue":null,"work_id":null,"year":1955},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:250edf0ec31893cc9ec552a92cffe8e30b149dabd54e6ff1a2624ba7939b50c7","observation_id":"a0ec35f8-de51-4559-8ac1-f49e6a32c8c4","resolution":{"observed_at":"2026-07-14T04:04:06.341426Z","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-07-14T04:04:06.341426Z","title":"elephantrobotics.com/en/mycobot-280-m5-2023-en, accessed 2026-04-04","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:ef88e37d77b203b89849dc4e64261d969057a7dfaadb434f0c200e4bd2173a8a","observation_id":"60fd7420-a735-4a8a-b591-296846310edb","resolution":{"observed_at":"2026-07-14T04:04:06.341426Z","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-07-14T04:04:06.341426Z","title":"Research Report RR-5923, INRIA (2006),https://hal.inria","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:ccedc792a12aecae4c3758de6720997e5117727164e5b54ecac337c254bb3b13","observation_id":"064c46a8-37a6-4a7e-8526-cbd1f84cb3d3","resolution":{"observed_at":"2026-07-14T04:04:06.341426Z","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":"5996.275664","doi":"10.1145/2755996.2756646","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proc","venue":null,"work_id":"d18aab54-fe24-4806-95ad-6df3624a23fb","year":2015},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:cd697291ebf8206d89564cd61eb9171612dfea7d4e1dffc9c4ef00ed0e1d78cb","observation_id":"645548f2-976c-4bd2-ac95-90d3fbd51fd1","resolution":{"observed_at":"2026-07-14T04:10:13.414683Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-07-14T06:21:46.692438+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T06:21:46.692438+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0094-114x(93)90033-r","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Mechanism and Machine Theory","work_id":"dc0a5fb5-184e-45bb-bbe9-a493527a36b5","year":1993},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:0ffc52ad6f1aee76fcd44cfe9ccdc8c4bb0ec54102f16d7baff77d9b38d2bb53","observation_id":"fd2cb3c3-5c12-45f6-9486-a7f7233d6e7a","resolution":{"observed_at":"2026-07-14T04:10:13.418656Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-07-14T06:21:46.92505+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T06:21:46.92505+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-14T04:04:06.341426Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:a0318b0f90a8ece9aecfdacfc13429fcf902660211b80940fffaf8d140449e4e","observation_id":"5d29f0a6-5501-45e0-847e-b23299813ba7","resolution":{"observed_at":"2026-07-14T04:04:06.341426Z","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-07-14T04:04:06.341426Z","title":"In: CASC","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:1d6d1b5fa285294f0b3026a3e6cb1e70118163c2e3121b492779183ca86a2a09","observation_id":"c0816a1f-4fe9-4dda-9438-0b382cdc0163","resolution":{"observed_at":"2026-07-14T04:04:06.341426Z","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":"10.1007/978-3-032-09645-6_17","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"16235, pp","venue":"Lecture notes in computer science","work_id":"8e399897-10c9-4b15-898d-ffcd836b119e","year":2025},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:7d31e9a2e2252aaf8aa725543be4454f420a3455a11171add0b36bfb77af193b","observation_id":"a49a51cb-8139-4644-a6de-e570dcc5541b","resolution":{"observed_at":"2026-07-14T04:10:13.392078Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-07-14T06:21:47.422847+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T06:21:47.422847+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-032-09645-6_18","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: CASC 2025","venue":"Lecture notes in computer science","work_id":"47c3e947-da89-4b02-9da7-0a62a1634360","year":2025},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:9ad652b1585bb827d4b8181a1854002bc734c4e5a3fd7f309cd6a262905603f4","observation_id":"6c165519-7b33-492e-be47-63db60659299","resolution":{"observed_at":"2026-07-14T04:10:13.408249Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-07-14T06:21:47.655142+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T06:21:47.655142+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-06T12:03:48.844241Z","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-07-14T04:04:06.341426Z","title":"Preprint (2021).https://doi.org/10.48550/ arXiv.2111.00384","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"cited_paper":"/paper/2111.00384","citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:3054b3987e613036f79c2c70baafbe3888a6619ca049426c493a1ae67893ef0f","observation_id":"7d35f7ad-68b8-4422-9540-4cd069b4a85f","resolution":{"observed_at":"2026-07-14T04:04:06.341426Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T04:04:06.341426Z","title":"In: Proceedings of the SCSS 2024 Work in Progress Work- shop","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:7794bc5fe2fbc45342e07532239c652ca8efa955ce2998d48145b6242041d996","observation_id":"f340f045-88d2-4f3a-8a2a-547d52227d9b","resolution":{"observed_at":"2026-07-14T04:04:06.341426Z","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":"10.1155/2021/6680687","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Mathematical Problems in Engineering2021, 6680687 (2021).https://doi.org/10.1155/2021/6680687","venue":"Mathematical Problems in Engineering","work_id":"04de0ccb-98dd-49ee-ab69-49ea27387272","year":2021},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:07db35dfb05dedfe5727e73519a3f6a73c24a333bd226f4ead4b49797b9c0e6a","observation_id":"04b505e0-7cf4-4447-b7a4-6a0a1f566735","resolution":{"observed_at":"2026-07-14T04:10:13.403822Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-07-14T06:21:47.899755+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T06:21:47.899755+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5768.114582","doi":"10.1145/1145768.1145821","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proc","venue":null,"work_id":"b383b598-3ef6-4ea6-ba93-fcaeee56600a","year":2006},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:81d37ff674236f70dfe63d92b655aee5cb3993951cfeb13e347f792ea2fbc9a8","observation_id":"04fbfa57-531c-4c5b-889b-b2512d68ea18","resolution":{"observed_at":"2026-07-14T04:10:13.424604Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-07-14T06:21:48.146385+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T06:21:48.146385+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-14T04:04:06.341426Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:563f22a0bc44b21109ba4965cc409ff18e6a3d7ed88149f815aab609b7d45e56","observation_id":"8178bcb0-813a-4c41-84ac-767fed4a819c","resolution":{"observed_at":"2026-07-14T04:04:06.341426Z","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-07-14T04:04:06.341426Z","title":"In: CASC 2023, Lecture Notes in Computer Science, vol","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:0e62db9fbe14cbbbb5b1001059a1a05a1eca1b2e1ef57223d45b585b0e827d5b","observation_id":"a5f007a5-2cde-40fd-a844-c410a97cef49","resolution":{"observed_at":"2026-07-14T04:04:06.341426Z","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":"10.1007/978-3-031-41724-5_21","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":",¯αl = ((γl, δl], fl)} ←(the set of isolating intervals satisfying (5) for the set of distinct real roots{α 1,","venue":"Lecture notes in computer science","work_id":"9e67b28b-5745-422a-b709-a948505ba6f7","year":2023},"citing_paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-14T04:04:06.341426Z"},"links":{"citing_paper":"/paper/2607.11657"},"observation_digest":"sha256:26d05799946557b2290c46f77417aecad85bdf80b0b80270d714d5ff8544a3f4","observation_id":"31686be6-f0ec-4fd7-b966-efb651d0ae55","resolution":{"observed_at":"2026-07-14T04:10:13.399605Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-07-14T06:21:48.68787+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T06:21:48.68787+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.11657","last_updated":"2026-07-13T15:05:31Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-08T03:08:00.927597Z","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":7,"verified_fuzzy":0},"total_outbound_references":17},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:2607.11657."}