{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:7CFL4NNGR346WOHVA7V3KXSO36","short_pith_number":"pith:7CFL4NNG","canonical_record":{"source":{"id":"1405.3461","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-05-14T11:43:13Z","cross_cats_sorted":[],"title_canon_sha256":"c704b14f8fe95aba55a07007be4effae6bd0a3345044ba8123449f182e8e716e","abstract_canon_sha256":"78106f965cb57dcd88fdf89765ecb62ffeca8b0c483f454f1cad7bf6542f8e08"},"schema_version":"1.0"},"canonical_sha256":"f88abe35a68ef9eb38f507ebb55e4edf9931538d4d93bb45b974fb12eaffae44","source":{"kind":"arxiv","id":"1405.3461","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.3461","created_at":"2026-05-18T02:49:03Z"},{"alias_kind":"arxiv_version","alias_value":"1405.3461v1","created_at":"2026-05-18T02:49:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.3461","created_at":"2026-05-18T02:49:03Z"},{"alias_kind":"pith_short_12","alias_value":"7CFL4NNGR346","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"7CFL4NNGR346WOHV","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"7CFL4NNG","created_at":"2026-05-18T12:28:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:7CFL4NNGR346WOHVA7V3KXSO36","target":"record","payload":{"canonical_record":{"source":{"id":"1405.3461","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-05-14T11:43:13Z","cross_cats_sorted":[],"title_canon_sha256":"c704b14f8fe95aba55a07007be4effae6bd0a3345044ba8123449f182e8e716e","abstract_canon_sha256":"78106f965cb57dcd88fdf89765ecb62ffeca8b0c483f454f1cad7bf6542f8e08"},"schema_version":"1.0"},"canonical_sha256":"f88abe35a68ef9eb38f507ebb55e4edf9931538d4d93bb45b974fb12eaffae44","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:49:03.010267Z","signature_b64":"a61a0jw/OsmxZjeKp+ngi/II5k7sMVNtFGzhfkNoF2ETp5F55rYBA/MESixfRcoSRj2bCRw5lIETuv9XoeNKBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f88abe35a68ef9eb38f507ebb55e4edf9931538d4d93bb45b974fb12eaffae44","last_reissued_at":"2026-05-18T02:49:03.009827Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:49:03.009827Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.3461","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:49:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O/XOGNuOzlCfhqvoYhTxUH9BxLpRiQnMTfWis9vn1zesHtjST8HiTWfIHrXUyAt4LJ0AwyPGQMjlKVI4kl/HAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:57:21.577662Z"},"content_sha256":"7303addd4fb75c195ce5554f46065fa1a08e26db6e2dcb6187456b26acdd18b3","schema_version":"1.0","event_id":"sha256:7303addd4fb75c195ce5554f46065fa1a08e26db6e2dcb6187456b26acdd18b3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:7CFL4NNGR346WOHVA7V3KXSO36","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formulating problems for real algebraic geometry","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Matthew England","submitted_at":"2014-05-14T11:43:13Z","abstract_excerpt":"We discuss issues of problem formulation for algorithms in real algebraic geometry, focussing on quantifier elimination by cylindrical algebraic decomposition. We recall how the variable ordering used can have a profound effect on both performance and output and summarise what may be done to assist with this choice. We then survey other questions of problem formulation and algorithm optimisation that have become pertinent following advances in CAD theory, including both work that is already published and work that is currently underway. With implementations now in reach of real world applicati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.3461","kind":"arxiv","version":1},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:49:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MH2eew/OQhqXby6Jcel0W9NjOUJJvOSNlTp6tYYz49j7OlfWN6aHOd9TXeE4v72zvjFvAcx9JEqK+XcopesJDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:57:21.577994Z"},"content_sha256":"9312350a9e32cc07c6ff77269d9b5ef7fe10241dbe5fbbfcfe1f20ee25dfa8e2","schema_version":"1.0","event_id":"sha256:9312350a9e32cc07c6ff77269d9b5ef7fe10241dbe5fbbfcfe1f20ee25dfa8e2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7CFL4NNGR346WOHVA7V3KXSO36/bundle.json","state_url":"https://pith.science/pith/7CFL4NNGR346WOHVA7V3KXSO36/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7CFL4NNGR346WOHVA7V3KXSO36/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-01T21:57:21Z","links":{"resolver":"https://pith.science/pith/7CFL4NNGR346WOHVA7V3KXSO36","bundle":"https://pith.science/pith/7CFL4NNGR346WOHVA7V3KXSO36/bundle.json","state":"https://pith.science/pith/7CFL4NNGR346WOHVA7V3KXSO36/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7CFL4NNGR346WOHVA7V3KXSO36/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:7CFL4NNGR346WOHVA7V3KXSO36","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":"78106f965cb57dcd88fdf89765ecb62ffeca8b0c483f454f1cad7bf6542f8e08","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-05-14T11:43:13Z","title_canon_sha256":"c704b14f8fe95aba55a07007be4effae6bd0a3345044ba8123449f182e8e716e"},"schema_version":"1.0","source":{"id":"1405.3461","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.3461","created_at":"2026-05-18T02:49:03Z"},{"alias_kind":"arxiv_version","alias_value":"1405.3461v1","created_at":"2026-05-18T02:49:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.3461","created_at":"2026-05-18T02:49:03Z"},{"alias_kind":"pith_short_12","alias_value":"7CFL4NNGR346","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"7CFL4NNGR346WOHV","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"7CFL4NNG","created_at":"2026-05-18T12:28:16Z"}],"graph_snapshots":[{"event_id":"sha256:9312350a9e32cc07c6ff77269d9b5ef7fe10241dbe5fbbfcfe1f20ee25dfa8e2","target":"graph","created_at":"2026-05-18T02:49:03Z","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"},"paper":{"abstract_excerpt":"We discuss issues of problem formulation for algorithms in real algebraic geometry, focussing on quantifier elimination by cylindrical algebraic decomposition. We recall how the variable ordering used can have a profound effect on both performance and output and summarise what may be done to assist with this choice. We then survey other questions of problem formulation and algorithm optimisation that have become pertinent following advances in CAD theory, including both work that is already published and work that is currently underway. With implementations now in reach of real world applicati","authors_text":"Matthew England","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-05-14T11:43:13Z","title":"Formulating problems for real algebraic geometry"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.3461","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:7303addd4fb75c195ce5554f46065fa1a08e26db6e2dcb6187456b26acdd18b3","target":"record","created_at":"2026-05-18T02:49:03Z","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":"78106f965cb57dcd88fdf89765ecb62ffeca8b0c483f454f1cad7bf6542f8e08","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-05-14T11:43:13Z","title_canon_sha256":"c704b14f8fe95aba55a07007be4effae6bd0a3345044ba8123449f182e8e716e"},"schema_version":"1.0","source":{"id":"1405.3461","kind":"arxiv","version":1}},"canonical_sha256":"f88abe35a68ef9eb38f507ebb55e4edf9931538d4d93bb45b974fb12eaffae44","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f88abe35a68ef9eb38f507ebb55e4edf9931538d4d93bb45b974fb12eaffae44","first_computed_at":"2026-05-18T02:49:03.009827Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:49:03.009827Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a61a0jw/OsmxZjeKp+ngi/II5k7sMVNtFGzhfkNoF2ETp5F55rYBA/MESixfRcoSRj2bCRw5lIETuv9XoeNKBA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:49:03.010267Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.3461","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7303addd4fb75c195ce5554f46065fa1a08e26db6e2dcb6187456b26acdd18b3","sha256:9312350a9e32cc07c6ff77269d9b5ef7fe10241dbe5fbbfcfe1f20ee25dfa8e2"],"state_sha256":"5f9122a11e8237ddc4a9ab68ac4a9473b7bc42b10994d4695798aa69e095cc1c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6MaQy+vlZhOHhz4AqKyICos5tn54DX57OVP2Eg7LvDvjfD+u9AnsES1R3Dvno5DJVmbrIvmjwZhnk3gzXZyKDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T21:57:21.579838Z","bundle_sha256":"5451929ddbebad11313eb3469a06c590d144ac1b98aab753cec645c04e01b7e5"}}