{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:CX6YAQXH65256VMUOZRNFPTQZI","short_pith_number":"pith:CX6YAQXH","schema_version":"1.0","canonical_sha256":"15fd8042e7f775df55947662d2be70ca2bad8bbeb4fae6ce68085e8a6b985945","source":{"kind":"arxiv","id":"1309.1588","version":2},"attestation_state":"computed","paper":{"title":"A \"Piano Movers\" Problem Reformulated","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"cs.CG","authors_text":"David Wilson, James H. Davenport, Matthew England, Russell Bradford","submitted_at":"2013-09-06T10:20:14Z","abstract_excerpt":"It has long been known that cylindrical algebraic decompositions (CADs) can in theory be used for robot motion planning. However, in practice even the simplest examples can be too complicated to tackle. We consider in detail a \"Piano Mover's Problem\" which considers moving an infinitesimally thin piano (or ladder) through a right-angled corridor.\n  Producing a CAD for the original formulation of this problem is still infeasible after 25 years of improvements in both CAD theory and computer hardware. We review some alternative formulations in the literature which use differing levels of geometr"},"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":"1309.1588","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2013-09-06T10:20:14Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"8ef7582d7e14059785bb77a174fcba2297af1e59c3c25b0452b9e2529c322628","abstract_canon_sha256":"3418df346b33ffad6bcb01cb36b2c35339818cd7d661aabe6eeb5ff3521fff7d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:50:24.322029Z","signature_b64":"JwI8XYVjQcERI26Uyq6dl5N0NRVfa9lUHWUR207vC2a9eX6DaDC+83EaE5RQAIm5huu0mehW7NaHra7vXrmdBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15fd8042e7f775df55947662d2be70ca2bad8bbeb4fae6ce68085e8a6b985945","last_reissued_at":"2026-05-18T02:50:24.321649Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:50:24.321649Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A \"Piano Movers\" Problem Reformulated","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"cs.CG","authors_text":"David Wilson, James H. Davenport, Matthew England, Russell Bradford","submitted_at":"2013-09-06T10:20:14Z","abstract_excerpt":"It has long been known that cylindrical algebraic decompositions (CADs) can in theory be used for robot motion planning. However, in practice even the simplest examples can be too complicated to tackle. We consider in detail a \"Piano Mover's Problem\" which considers moving an infinitesimally thin piano (or ladder) through a right-angled corridor.\n  Producing a CAD for the original formulation of this problem is still infeasible after 25 years of improvements in both CAD theory and computer hardware. We review some alternative formulations in the literature which use differing levels of geometr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.1588","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":""},"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":"1309.1588","created_at":"2026-05-18T02:50:24.321694+00:00"},{"alias_kind":"arxiv_version","alias_value":"1309.1588v2","created_at":"2026-05-18T02:50:24.321694+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.1588","created_at":"2026-05-18T02:50:24.321694+00:00"},{"alias_kind":"pith_short_12","alias_value":"CX6YAQXH6525","created_at":"2026-05-18T12:27:40.988391+00:00"},{"alias_kind":"pith_short_16","alias_value":"CX6YAQXH65256VMU","created_at":"2026-05-18T12:27:40.988391+00:00"},{"alias_kind":"pith_short_8","alias_value":"CX6YAQXH","created_at":"2026-05-18T12:27:40.988391+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/CX6YAQXH65256VMUOZRNFPTQZI","json":"https://pith.science/pith/CX6YAQXH65256VMUOZRNFPTQZI.json","graph_json":"https://pith.science/api/pith-number/CX6YAQXH65256VMUOZRNFPTQZI/graph.json","events_json":"https://pith.science/api/pith-number/CX6YAQXH65256VMUOZRNFPTQZI/events.json","paper":"https://pith.science/paper/CX6YAQXH"},"agent_actions":{"view_html":"https://pith.science/pith/CX6YAQXH65256VMUOZRNFPTQZI","download_json":"https://pith.science/pith/CX6YAQXH65256VMUOZRNFPTQZI.json","view_paper":"https://pith.science/paper/CX6YAQXH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1309.1588&json=true","fetch_graph":"https://pith.science/api/pith-number/CX6YAQXH65256VMUOZRNFPTQZI/graph.json","fetch_events":"https://pith.science/api/pith-number/CX6YAQXH65256VMUOZRNFPTQZI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CX6YAQXH65256VMUOZRNFPTQZI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CX6YAQXH65256VMUOZRNFPTQZI/action/storage_attestation","attest_author":"https://pith.science/pith/CX6YAQXH65256VMUOZRNFPTQZI/action/author_attestation","sign_citation":"https://pith.science/pith/CX6YAQXH65256VMUOZRNFPTQZI/action/citation_signature","submit_replication":"https://pith.science/pith/CX6YAQXH65256VMUOZRNFPTQZI/action/replication_record"}},"created_at":"2026-05-18T02:50:24.321694+00:00","updated_at":"2026-05-18T02:50:24.321694+00:00"}