{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:KR57SPUWMO7BCOVE47F3FWFY6K","short_pith_number":"pith:KR57SPUW","canonical_record":{"source":{"id":"1405.7115","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2014-05-28T04:31:43Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"9e97ff47a03fe59149ab8460a8fc6f071100a0fd288ee09c0461329009d374c6","abstract_canon_sha256":"d4f1963455fb6d934000687d70fa61bba59a6c2f6bdb8a4c3ca40a720f7d73fd"},"schema_version":"1.0"},"canonical_sha256":"547bf93e9663be113aa4e7cbb2d8b8f2b4e79d9b456270aad95d5d43d7383224","source":{"kind":"arxiv","id":"1405.7115","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.7115","created_at":"2026-05-18T02:50:59Z"},{"alias_kind":"arxiv_version","alias_value":"1405.7115v1","created_at":"2026-05-18T02:50:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.7115","created_at":"2026-05-18T02:50:59Z"},{"alias_kind":"pith_short_12","alias_value":"KR57SPUWMO7B","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KR57SPUWMO7BCOVE","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KR57SPUW","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:KR57SPUWMO7BCOVE47F3FWFY6K","target":"record","payload":{"canonical_record":{"source":{"id":"1405.7115","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2014-05-28T04:31:43Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"9e97ff47a03fe59149ab8460a8fc6f071100a0fd288ee09c0461329009d374c6","abstract_canon_sha256":"d4f1963455fb6d934000687d70fa61bba59a6c2f6bdb8a4c3ca40a720f7d73fd"},"schema_version":"1.0"},"canonical_sha256":"547bf93e9663be113aa4e7cbb2d8b8f2b4e79d9b456270aad95d5d43d7383224","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:50:59.166064Z","signature_b64":"nFUwSG9/6Hm3sc4QPt0nkjh0lFRl0vZu+/axcDkEpPICD65AwjteqcuWiJbSZbIpFWe4ca/g7dCmfOolcbhKCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"547bf93e9663be113aa4e7cbb2d8b8f2b4e79d9b456270aad95d5d43d7383224","last_reissued_at":"2026-05-18T02:50:59.165569Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:50:59.165569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.7115","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:50:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hh/fn1wFwxrhJpi2QaumM1WCsSl6AvAekLa89XZ50BgZKRJ7Z41mfiIoUJy4hr1/rCGapoBdQnprvOyaMyI/Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:55:39.301216Z"},"content_sha256":"5ea7fb583f310a69ab37265d2e684c4f110d7f02e93efbe0a89de9b898caca2f","schema_version":"1.0","event_id":"sha256:5ea7fb583f310a69ab37265d2e684c4f110d7f02e93efbe0a89de9b898caca2f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:KR57SPUWMO7BCOVE47F3FWFY6K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Geometric involutive bases for positive dimensional polynomial ideals and SDP methods","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"math.AG","authors_text":"Fei Wang, Greg Reid, Wenyuan Wu","submitted_at":"2014-05-28T04:31:43Z","abstract_excerpt":"Geometric involutive bases for polynomial systems of equations have their origin in the prolongation and projection methods of the geometers Cartan and Kuranishi for systems of PDE. They are useful for numerical ideal membership testing and the solution of polynomial systems. In this paper we further develop our symbolic-numeric methods for such bases. We give methods to explicitly extract and decrease the degree of intermediate systems and the output basis. Algorithms for the numerical computation of involutivity criteria for positive dimensional ideals are also discussed.\n  We were also moti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.7115","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:50:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2FrmZE9+bMcWrgEI1HZBaWcYzpXYcSJ5Nrc+wAOaBHf5jBIJVRcsudVtuQ77jZkTS9R2hzW/XNyJ+51ghmjHBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:55:39.301574Z"},"content_sha256":"24ec103083129b7bb18134c6d4935e5ec6ba509bfc87963785ab20b1f2a73278","schema_version":"1.0","event_id":"sha256:24ec103083129b7bb18134c6d4935e5ec6ba509bfc87963785ab20b1f2a73278"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KR57SPUWMO7BCOVE47F3FWFY6K/bundle.json","state_url":"https://pith.science/pith/KR57SPUWMO7BCOVE47F3FWFY6K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KR57SPUWMO7BCOVE47F3FWFY6K/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-03T06:55:39Z","links":{"resolver":"https://pith.science/pith/KR57SPUWMO7BCOVE47F3FWFY6K","bundle":"https://pith.science/pith/KR57SPUWMO7BCOVE47F3FWFY6K/bundle.json","state":"https://pith.science/pith/KR57SPUWMO7BCOVE47F3FWFY6K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KR57SPUWMO7BCOVE47F3FWFY6K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:KR57SPUWMO7BCOVE47F3FWFY6K","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":"d4f1963455fb6d934000687d70fa61bba59a6c2f6bdb8a4c3ca40a720f7d73fd","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2014-05-28T04:31:43Z","title_canon_sha256":"9e97ff47a03fe59149ab8460a8fc6f071100a0fd288ee09c0461329009d374c6"},"schema_version":"1.0","source":{"id":"1405.7115","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.7115","created_at":"2026-05-18T02:50:59Z"},{"alias_kind":"arxiv_version","alias_value":"1405.7115v1","created_at":"2026-05-18T02:50:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.7115","created_at":"2026-05-18T02:50:59Z"},{"alias_kind":"pith_short_12","alias_value":"KR57SPUWMO7B","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KR57SPUWMO7BCOVE","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KR57SPUW","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:24ec103083129b7bb18134c6d4935e5ec6ba509bfc87963785ab20b1f2a73278","target":"graph","created_at":"2026-05-18T02:50:59Z","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":"Geometric involutive bases for polynomial systems of equations have their origin in the prolongation and projection methods of the geometers Cartan and Kuranishi for systems of PDE. They are useful for numerical ideal membership testing and the solution of polynomial systems. In this paper we further develop our symbolic-numeric methods for such bases. We give methods to explicitly extract and decrease the degree of intermediate systems and the output basis. Algorithms for the numerical computation of involutivity criteria for positive dimensional ideals are also discussed.\n  We were also moti","authors_text":"Fei Wang, Greg Reid, Wenyuan Wu","cross_cats":["cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2014-05-28T04:31:43Z","title":"Geometric involutive bases for positive dimensional polynomial ideals and SDP methods"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.7115","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:5ea7fb583f310a69ab37265d2e684c4f110d7f02e93efbe0a89de9b898caca2f","target":"record","created_at":"2026-05-18T02:50:59Z","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":"d4f1963455fb6d934000687d70fa61bba59a6c2f6bdb8a4c3ca40a720f7d73fd","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2014-05-28T04:31:43Z","title_canon_sha256":"9e97ff47a03fe59149ab8460a8fc6f071100a0fd288ee09c0461329009d374c6"},"schema_version":"1.0","source":{"id":"1405.7115","kind":"arxiv","version":1}},"canonical_sha256":"547bf93e9663be113aa4e7cbb2d8b8f2b4e79d9b456270aad95d5d43d7383224","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"547bf93e9663be113aa4e7cbb2d8b8f2b4e79d9b456270aad95d5d43d7383224","first_computed_at":"2026-05-18T02:50:59.165569Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:50:59.165569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nFUwSG9/6Hm3sc4QPt0nkjh0lFRl0vZu+/axcDkEpPICD65AwjteqcuWiJbSZbIpFWe4ca/g7dCmfOolcbhKCw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:50:59.166064Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.7115","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5ea7fb583f310a69ab37265d2e684c4f110d7f02e93efbe0a89de9b898caca2f","sha256:24ec103083129b7bb18134c6d4935e5ec6ba509bfc87963785ab20b1f2a73278"],"state_sha256":"a43cbe07b7dd95462994b03c9a8a11861a9ee83712ea09ca04a45672d9409c25"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+L50mn3StR8+lC6UQVG7rkpRhPSo3Jg+QqvmIadsXOansI6BNHvI2p5n5NsAZCa6S56bXkQLR3f6DhnOJ149BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T06:55:39.303429Z","bundle_sha256":"15f9347ec310ac92d93c2769a877b0fbcfcb3e5473f3814cc875cac96d522648"}}