{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:37JFJRVC5SCW3GNUMZYV5CGST7","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"eb98efaac8b47c2c3260e0117bef8245d214e270fb3c5001b90766e2ad19bfb9","cross_cats_sorted":["cs.SC","math.AC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-07-13T15:05:31Z","title_canon_sha256":"aea1d041fbc7f634c59dfdc585426b9ed02e8813ee58bbe6684cb846ed1d577b"},"schema_version":"1.0","source":{"id":"2607.11657","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.11657","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"arxiv_version","alias_value":"2607.11657v1","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.11657","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"pith_short_12","alias_value":"37JFJRVC5SCW","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"pith_short_16","alias_value":"37JFJRVC5SCW3GNU","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"pith_short_8","alias_value":"37JFJRVC","created_at":"2026-07-14T02:22:17Z"}],"graph_snapshots":[{"event_id":"sha256:da03b1fdaee3a53ffc94b62897da078d32d50db6d5a6640a9e0a3a24834962eb","target":"graph","created_at":"2026-07-14T02:22:17Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.11657/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose an algorithm and its implementation for trajectory planning and certification for 3-DOF robot manipulators. The method uses Real Quantifier Elimination (QE) based on Comprehensive Gr\\\"obner Systems (CGS), also known as the CGS-QE method. The main advantage of the proposed method is its efficiency in trajectory planning and solution certification. This efficiency comes from the effective use of the CGS. First, for trajectory planning, we solve the inverse kinematics problem at each point along the trajectory via Gr\\\"obner basis computation. This usually requires recalculating the Gr\\","authors_text":"Akira Terui, Masahiko Mikawa, Yu Nakai","cross_cats":["cs.SC","math.AC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","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"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.11657","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:a3bc6eb5d77ccffdd6cba3894b0c7eb526fc32b9875c3942694977b445cb4235","target":"record","created_at":"2026-07-14T02:22:17Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"eb98efaac8b47c2c3260e0117bef8245d214e270fb3c5001b90766e2ad19bfb9","cross_cats_sorted":["cs.SC","math.AC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-07-13T15:05:31Z","title_canon_sha256":"aea1d041fbc7f634c59dfdc585426b9ed02e8813ee58bbe6684cb846ed1d577b"},"schema_version":"1.0","source":{"id":"2607.11657","kind":"arxiv","version":1}},"canonical_sha256":"dfd254c6a2ec856d99b466715e88d29fd25d6619792179c54d3ca0263b2f1ef2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dfd254c6a2ec856d99b466715e88d29fd25d6619792179c54d3ca0263b2f1ef2","first_computed_at":"2026-07-14T02:22:17.288484Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-14T02:22:17.288484Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"te8E4coigjd7Tt3KK0UTafZfAxsfhT5DonqctqTw20SOO3BoK/5DMkXLYtzOrwVWqTTREwqn8lwN6jy2UUIdAg==","signature_status":"signed_v1","signed_at":"2026-07-14T02:22:17.289351Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.11657","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a3bc6eb5d77ccffdd6cba3894b0c7eb526fc32b9875c3942694977b445cb4235","sha256:da03b1fdaee3a53ffc94b62897da078d32d50db6d5a6640a9e0a3a24834962eb"],"state_sha256":"60d145b445aca2e7806547500da1be940ea5f7a5bccb1601d3730d3e750d7f83"}