{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:5CEOAAOVRCJOIEKQ6WPS7TFRZ4","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":"13ca136d058ec316fc8245ba099204e7acff68dc7aef35ac887cfd7f5a079cff","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2011-10-10T20:55:17Z","title_canon_sha256":"b1cf330de183512f2282bf68139c57378298aa68d977eee3c6c7591b35b544ac"},"schema_version":"1.0","source":{"id":"1110.2196","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.2196","created_at":"2026-05-18T04:11:07Z"},{"alias_kind":"arxiv_version","alias_value":"1110.2196v2","created_at":"2026-05-18T04:11:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.2196","created_at":"2026-05-18T04:11:07Z"},{"alias_kind":"pith_short_12","alias_value":"5CEOAAOVRCJO","created_at":"2026-05-18T12:26:20Z"},{"alias_kind":"pith_short_16","alias_value":"5CEOAAOVRCJOIEKQ","created_at":"2026-05-18T12:26:20Z"},{"alias_kind":"pith_short_8","alias_value":"5CEOAAOV","created_at":"2026-05-18T12:26:20Z"}],"graph_snapshots":[{"event_id":"sha256:673b58cfe4f499203425d7cb8a82539facab9b2f308b983cd0d5333a0010bea7","target":"graph","created_at":"2026-05-18T04:11:07Z","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 model the algorithmic task of geometric elimination (e.g., quantifier elimination in the elementary field theories of real and complex numbers) by means of certain constraint database queries, called geometric queries. As a particular case of such a geometric elimination task, we consider sample point queries. We show exponential lower complexity bounds for evaluating geometric queries in the general and in the particular case of sample point queries. Although this paper is of theoretical nature, its aim is to explore the possibilities and (complexity-)limits of computer implemented query e","authors_text":"Bart Kuijpers, Joos Heintz, Marc Giusti","cross_cats":["cs.CC","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2011-10-10T20:55:17Z","title":"The evaluation of geometric queries: constraint databases and quantifier elimination"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.2196","kind":"arxiv","version":2},"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:e85218aec3d33f0637a71582aa28ae03f1f3d991a3d33df1c533515f04c8718e","target":"record","created_at":"2026-05-18T04:11:07Z","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":"13ca136d058ec316fc8245ba099204e7acff68dc7aef35ac887cfd7f5a079cff","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2011-10-10T20:55:17Z","title_canon_sha256":"b1cf330de183512f2282bf68139c57378298aa68d977eee3c6c7591b35b544ac"},"schema_version":"1.0","source":{"id":"1110.2196","kind":"arxiv","version":2}},"canonical_sha256":"e888e001d58892e41150f59f2fccb1cf0b8ab598b3be04d24633e7ad8cecab87","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e888e001d58892e41150f59f2fccb1cf0b8ab598b3be04d24633e7ad8cecab87","first_computed_at":"2026-05-18T04:11:07.006871Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:11:07.006871Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TQvbmFrwLICMYXyEdm+/5sjuTQ872sSnbK2SsF3WuSKdnE+9+pHmCiraUuphPPHpa3hlv9lolhykJVPc7lkHAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:11:07.007288Z","signed_message":"canonical_sha256_bytes"},"source_id":"1110.2196","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e85218aec3d33f0637a71582aa28ae03f1f3d991a3d33df1c533515f04c8718e","sha256:673b58cfe4f499203425d7cb8a82539facab9b2f308b983cd0d5333a0010bea7"],"state_sha256":"c6124c1254a48eda077b4f7e1afb5c6352c73f1ddf7a755ca3bf54508468fb46"}