{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:OTTN5WE4Y3DBQU6JQIA57CVTB6","short_pith_number":"pith:OTTN5WE4","canonical_record":{"source":{"id":"1409.6215","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2014-09-22T15:56:27Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"9cdf24ba47d9c021ae8cefbc154756c3d8e73fa60d7cf4be5aec08e30e4d595c","abstract_canon_sha256":"a62d29d63c820b920aedb6558a44eeba9b84c9a3a62025664c1f7798a2745c98"},"schema_version":"1.0"},"canonical_sha256":"74e6ded89cc6c61853c98201df8ab30f9fd984830078049f98123ee88470a233","source":{"kind":"arxiv","id":"1409.6215","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6215","created_at":"2026-05-18T01:57:23Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6215v2","created_at":"2026-05-18T01:57:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6215","created_at":"2026-05-18T01:57:23Z"},{"alias_kind":"pith_short_12","alias_value":"OTTN5WE4Y3DB","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"OTTN5WE4Y3DBQU6J","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"OTTN5WE4","created_at":"2026-05-18T12:28:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:OTTN5WE4Y3DBQU6JQIA57CVTB6","target":"record","payload":{"canonical_record":{"source":{"id":"1409.6215","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2014-09-22T15:56:27Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"9cdf24ba47d9c021ae8cefbc154756c3d8e73fa60d7cf4be5aec08e30e4d595c","abstract_canon_sha256":"a62d29d63c820b920aedb6558a44eeba9b84c9a3a62025664c1f7798a2745c98"},"schema_version":"1.0"},"canonical_sha256":"74e6ded89cc6c61853c98201df8ab30f9fd984830078049f98123ee88470a233","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:57:23.571067Z","signature_b64":"LipwSVS+3s+Cnm/LUQnEbAFBx3YD99QND0obQ7fYfTmopDN33fwd4uEKjdhcLxnk9GPbb12FBbNrg2Z3W31UCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"74e6ded89cc6c61853c98201df8ab30f9fd984830078049f98123ee88470a233","last_reissued_at":"2026-05-18T01:57:23.570390Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:57:23.570390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.6215","source_version":2,"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-18T01:57:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bxooiTl/Y5JHvJc4UrlJGubWWxzyZ8D3ZSZPd2dQbEeeQ1j0brXPBCcWW4jHyiEkHknTimtJ2EmpzvwY5/u+BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T00:38:53.940263Z"},"content_sha256":"d6420eee9494c6d3783d0db93ddeefb175448b5db4052c24deb97a815adfec31","schema_version":"1.0","event_id":"sha256:d6420eee9494c6d3783d0db93ddeefb175448b5db4052c24deb97a815adfec31"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:OTTN5WE4Y3DBQU6JQIA57CVTB6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tropical Effective Primary and Dual Nullstellens\\\"atze","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"math.AG","authors_text":"Dima Grigoriev, Vladimir V. Podolskii","submitted_at":"2014-09-22T15:56:27Z","abstract_excerpt":"Tropical algebra is an emerging field with a number of applications in various areas of mathematics. In many of these applications appeal to tropical polynomials allows to study properties of mathematical objects such as algebraic varieties and algebraic curves from the computational point of view. This makes it important to study both mathematical and computational aspects of tropical polynomials.\n  In this paper we prove a tropical Nullstellensatz and moreover we show an effective formulation of this theorem. Nullstellensatz is a natural step in building algebraic theory of tropical polynomi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6215","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"},"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-18T01:57:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"88aBFR5i4dn2e6uvg535Xj2jN8ZOwg53EBdsSazIq48VhX7xzDZjKt+ixet4S9LhJD7SYCcsl7IBCSisCmQNAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T00:38:53.940946Z"},"content_sha256":"76e07e8653f2a5d786896bdac7d1085fa7f5a4a7200204f96ed6b273a8624e2c","schema_version":"1.0","event_id":"sha256:76e07e8653f2a5d786896bdac7d1085fa7f5a4a7200204f96ed6b273a8624e2c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OTTN5WE4Y3DBQU6JQIA57CVTB6/bundle.json","state_url":"https://pith.science/pith/OTTN5WE4Y3DBQU6JQIA57CVTB6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OTTN5WE4Y3DBQU6JQIA57CVTB6/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-04T00:38:53Z","links":{"resolver":"https://pith.science/pith/OTTN5WE4Y3DBQU6JQIA57CVTB6","bundle":"https://pith.science/pith/OTTN5WE4Y3DBQU6JQIA57CVTB6/bundle.json","state":"https://pith.science/pith/OTTN5WE4Y3DBQU6JQIA57CVTB6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OTTN5WE4Y3DBQU6JQIA57CVTB6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:OTTN5WE4Y3DBQU6JQIA57CVTB6","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":"a62d29d63c820b920aedb6558a44eeba9b84c9a3a62025664c1f7798a2745c98","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2014-09-22T15:56:27Z","title_canon_sha256":"9cdf24ba47d9c021ae8cefbc154756c3d8e73fa60d7cf4be5aec08e30e4d595c"},"schema_version":"1.0","source":{"id":"1409.6215","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6215","created_at":"2026-05-18T01:57:23Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6215v2","created_at":"2026-05-18T01:57:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6215","created_at":"2026-05-18T01:57:23Z"},{"alias_kind":"pith_short_12","alias_value":"OTTN5WE4Y3DB","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"OTTN5WE4Y3DBQU6J","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"OTTN5WE4","created_at":"2026-05-18T12:28:43Z"}],"graph_snapshots":[{"event_id":"sha256:76e07e8653f2a5d786896bdac7d1085fa7f5a4a7200204f96ed6b273a8624e2c","target":"graph","created_at":"2026-05-18T01:57:23Z","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":"Tropical algebra is an emerging field with a number of applications in various areas of mathematics. In many of these applications appeal to tropical polynomials allows to study properties of mathematical objects such as algebraic varieties and algebraic curves from the computational point of view. This makes it important to study both mathematical and computational aspects of tropical polynomials.\n  In this paper we prove a tropical Nullstellensatz and moreover we show an effective formulation of this theorem. Nullstellensatz is a natural step in building algebraic theory of tropical polynomi","authors_text":"Dima Grigoriev, Vladimir V. Podolskii","cross_cats":["cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2014-09-22T15:56:27Z","title":"Tropical Effective Primary and Dual Nullstellens\\\"atze"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6215","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:d6420eee9494c6d3783d0db93ddeefb175448b5db4052c24deb97a815adfec31","target":"record","created_at":"2026-05-18T01:57:23Z","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":"a62d29d63c820b920aedb6558a44eeba9b84c9a3a62025664c1f7798a2745c98","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2014-09-22T15:56:27Z","title_canon_sha256":"9cdf24ba47d9c021ae8cefbc154756c3d8e73fa60d7cf4be5aec08e30e4d595c"},"schema_version":"1.0","source":{"id":"1409.6215","kind":"arxiv","version":2}},"canonical_sha256":"74e6ded89cc6c61853c98201df8ab30f9fd984830078049f98123ee88470a233","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"74e6ded89cc6c61853c98201df8ab30f9fd984830078049f98123ee88470a233","first_computed_at":"2026-05-18T01:57:23.570390Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:57:23.570390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LipwSVS+3s+Cnm/LUQnEbAFBx3YD99QND0obQ7fYfTmopDN33fwd4uEKjdhcLxnk9GPbb12FBbNrg2Z3W31UCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:57:23.571067Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.6215","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d6420eee9494c6d3783d0db93ddeefb175448b5db4052c24deb97a815adfec31","sha256:76e07e8653f2a5d786896bdac7d1085fa7f5a4a7200204f96ed6b273a8624e2c"],"state_sha256":"c2557807ce716aa915fc36b0b4b05a84a215912b41f4fc65221f9f598329742f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ljP2x8hDELpso9llcf3sHKetJmjDXWgHLvPuEEsRssGI085DhFfbR23Pn113YraZeQqiNP1K4OZFE6I5ui0NBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T00:38:53.942941Z","bundle_sha256":"729770641af5bb7e986ce0e40c0bd2b87a025efba7ecf821734d0e585a528058"}}