{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:FNUVRJ5KLWY342DJL3FHNPYRNU","short_pith_number":"pith:FNUVRJ5K","schema_version":"1.0","canonical_sha256":"2b6958a7aa5db1be68695eca76bf116d04fe2ec68da9831c2b640d780c7d4c3d","source":{"kind":"arxiv","id":"2305.12451","version":2},"attestation_state":"computed","paper":{"title":"Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gr\\\"obner Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC","math.AC"],"primary_cat":"cs.RO","authors_text":"Akira Terui, Masahiko Mikawa, Mizuki Yoshizawa","submitted_at":"2023-05-21T13:09:44Z","abstract_excerpt":"Methods for inverse kinematics computation and path planning of a three degree-of-freedom (DOF) manipulator using the algorithm for quantifier elimination based on Comprehensive Gr\\\"obner Systems (CGS), called CGS-QE method, are proposed. The first method for solving the inverse kinematics problem employs counting the real roots of a system of polynomial equations to verify the solution's existence. In the second method for trajectory planning of the manipulator, the use of CGS guarantees the existence of an inverse kinematics solution. Moreover, it makes the algorithm more efficient by preven"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2305.12451","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-05-21T13:09:44Z","cross_cats_sorted":["cs.SC","math.AC"],"title_canon_sha256":"c0b6e7ab107b08fe71813f3c3fcc1c2c69d368a7d61f74f3706073739d43d4d9","abstract_canon_sha256":"8920c70c6c68f5d504db0eb1bf24b96af53c66b2a4f44acc5d6dcc064cf4691d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:29:50.311827Z","signature_b64":"+/lAxpfoqCRex45Gv0pmdsJM8d6nSmr3Z557tGwt73SyntcupIfVGO8VS/5EHe024/6XqcoUv9AQ0xueVZJtBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2b6958a7aa5db1be68695eca76bf116d04fe2ec68da9831c2b640d780c7d4c3d","last_reissued_at":"2026-07-05T06:29:50.311331Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:29:50.311331Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gr\\\"obner Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC","math.AC"],"primary_cat":"cs.RO","authors_text":"Akira Terui, Masahiko Mikawa, Mizuki Yoshizawa","submitted_at":"2023-05-21T13:09:44Z","abstract_excerpt":"Methods for inverse kinematics computation and path planning of a three degree-of-freedom (DOF) manipulator using the algorithm for quantifier elimination based on Comprehensive Gr\\\"obner Systems (CGS), called CGS-QE method, are proposed. The first method for solving the inverse kinematics problem employs counting the real roots of a system of polynomial equations to verify the solution's existence. In the second method for trajectory planning of the manipulator, the use of CGS guarantees the existence of an inverse kinematics solution. Moreover, it makes the algorithm more efficient by preven"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.12451","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2305.12451/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2305.12451","created_at":"2026-07-05T06:29:50.311395+00:00"},{"alias_kind":"arxiv_version","alias_value":"2305.12451v2","created_at":"2026-07-05T06:29:50.311395+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.12451","created_at":"2026-07-05T06:29:50.311395+00:00"},{"alias_kind":"pith_short_12","alias_value":"FNUVRJ5KLWY3","created_at":"2026-07-05T06:29:50.311395+00:00"},{"alias_kind":"pith_short_16","alias_value":"FNUVRJ5KLWY342DJ","created_at":"2026-07-05T06:29:50.311395+00:00"},{"alias_kind":"pith_short_8","alias_value":"FNUVRJ5K","created_at":"2026-07-05T06:29:50.311395+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FNUVRJ5KLWY342DJL3FHNPYRNU","json":"https://pith.science/pith/FNUVRJ5KLWY342DJL3FHNPYRNU.json","graph_json":"https://pith.science/api/pith-number/FNUVRJ5KLWY342DJL3FHNPYRNU/graph.json","events_json":"https://pith.science/api/pith-number/FNUVRJ5KLWY342DJL3FHNPYRNU/events.json","paper":"https://pith.science/paper/FNUVRJ5K"},"agent_actions":{"view_html":"https://pith.science/pith/FNUVRJ5KLWY342DJL3FHNPYRNU","download_json":"https://pith.science/pith/FNUVRJ5KLWY342DJL3FHNPYRNU.json","view_paper":"https://pith.science/paper/FNUVRJ5K","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2305.12451&json=true","fetch_graph":"https://pith.science/api/pith-number/FNUVRJ5KLWY342DJL3FHNPYRNU/graph.json","fetch_events":"https://pith.science/api/pith-number/FNUVRJ5KLWY342DJL3FHNPYRNU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FNUVRJ5KLWY342DJL3FHNPYRNU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FNUVRJ5KLWY342DJL3FHNPYRNU/action/storage_attestation","attest_author":"https://pith.science/pith/FNUVRJ5KLWY342DJL3FHNPYRNU/action/author_attestation","sign_citation":"https://pith.science/pith/FNUVRJ5KLWY342DJL3FHNPYRNU/action/citation_signature","submit_replication":"https://pith.science/pith/FNUVRJ5KLWY342DJL3FHNPYRNU/action/replication_record"}},"created_at":"2026-07-05T06:29:50.311395+00:00","updated_at":"2026-07-05T06:29:50.311395+00:00"}