{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:D635E5KG6JZ7SG33KI7SYLJEQ7","short_pith_number":"pith:D635E5KG","canonical_record":{"source":{"id":"1705.00720","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2017-05-01T21:34:00Z","cross_cats_sorted":["cs.CG","cs.DC","math.AG","math.CO"],"title_canon_sha256":"1e9e933543ae932a46a6e0e921e07229d697cd26ded760f576abb678a73f4c1b","abstract_canon_sha256":"1b312b8745ac63d90d7e12b36c8163666b2c7c81831d448bb02ef0426901645a"},"schema_version":"1.0"},"canonical_sha256":"1fb7d27546f273f91b7b523f2c2d2487e1b8656242ece8078bb61dbad8bea82a","source":{"kind":"arxiv","id":"1705.00720","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.00720","created_at":"2026-05-18T00:41:07Z"},{"alias_kind":"arxiv_version","alias_value":"1705.00720v2","created_at":"2026-05-18T00:41:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.00720","created_at":"2026-05-18T00:41:07Z"},{"alias_kind":"pith_short_12","alias_value":"D635E5KG6JZ7","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"D635E5KG6JZ7SG33","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"D635E5KG","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:D635E5KG6JZ7SG33KI7SYLJEQ7","target":"record","payload":{"canonical_record":{"source":{"id":"1705.00720","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2017-05-01T21:34:00Z","cross_cats_sorted":["cs.CG","cs.DC","math.AG","math.CO"],"title_canon_sha256":"1e9e933543ae932a46a6e0e921e07229d697cd26ded760f576abb678a73f4c1b","abstract_canon_sha256":"1b312b8745ac63d90d7e12b36c8163666b2c7c81831d448bb02ef0426901645a"},"schema_version":"1.0"},"canonical_sha256":"1fb7d27546f273f91b7b523f2c2d2487e1b8656242ece8078bb61dbad8bea82a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:41:07.021392Z","signature_b64":"CMZHYHAaSaodtd8vt29+U2giPJTYyAfWcnK5UtxVL/13f9Xdx2unLT2H2wE7w3wtm1hXa02qYWO5JfDq8MjFBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1fb7d27546f273f91b7b523f2c2d2487e1b8656242ece8078bb61dbad8bea82a","last_reissued_at":"2026-05-18T00:41:07.020948Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:41:07.020948Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.00720","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-18T00:41:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rq3PQ1koxfD7N9wQc0UP/tY67jQVGzk4B5PHQQBBhtQpKrRZdcoVnuZy8Y0cUG6kEqf+flWev4fN6GCL56h8Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:55:00.957767Z"},"content_sha256":"d82fffb0d107c90065cce58e91f328778db55ad3a0e183411ff56a80348f9662","schema_version":"1.0","event_id":"sha256:d82fffb0d107c90065cce58e91f328778db55ad3a0e183411ff56a80348f9662"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:D635E5KG6JZ7SG33KI7SYLJEQ7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computing Tropical Prevarieties in Parallel","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CG","cs.DC","math.AG","math.CO"],"primary_cat":"cs.MS","authors_text":"Anders Jensen, Jan Verschelde, Jeff Sommars","submitted_at":"2017-05-01T21:34:00Z","abstract_excerpt":"The computation of the tropical prevariety is the first step in the application of polyhedral methods to compute positive dimensional solution sets of polynomial systems. In particular, pretropisms are candidate leading exponents for the power series developments of the solutions. The computation of the power series may start as soon as one pretropism is available, so our parallel computation of the tropical prevariety has an application in a pipelined solver.\n  We present a parallel implementation of dynamic enumeration. Our first distributed memory implementation with forked processes achiev"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.00720","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-18T00:41:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bgQmkq/905Kkl2HhGP2baYWWjRLYuUarkdPUWSuKoPdQf7M4oUTw5GJYNsVIIyYTAwOCDBDC25TKkUzuwuWBBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:55:00.958116Z"},"content_sha256":"5ccb9785c4ebd03e348a543426f02e3ec4c57a1c207c9a1875a6b78018abe887","schema_version":"1.0","event_id":"sha256:5ccb9785c4ebd03e348a543426f02e3ec4c57a1c207c9a1875a6b78018abe887"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/D635E5KG6JZ7SG33KI7SYLJEQ7/bundle.json","state_url":"https://pith.science/pith/D635E5KG6JZ7SG33KI7SYLJEQ7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/D635E5KG6JZ7SG33KI7SYLJEQ7/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:00Z","links":{"resolver":"https://pith.science/pith/D635E5KG6JZ7SG33KI7SYLJEQ7","bundle":"https://pith.science/pith/D635E5KG6JZ7SG33KI7SYLJEQ7/bundle.json","state":"https://pith.science/pith/D635E5KG6JZ7SG33KI7SYLJEQ7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/D635E5KG6JZ7SG33KI7SYLJEQ7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:D635E5KG6JZ7SG33KI7SYLJEQ7","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":"1b312b8745ac63d90d7e12b36c8163666b2c7c81831d448bb02ef0426901645a","cross_cats_sorted":["cs.CG","cs.DC","math.AG","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2017-05-01T21:34:00Z","title_canon_sha256":"1e9e933543ae932a46a6e0e921e07229d697cd26ded760f576abb678a73f4c1b"},"schema_version":"1.0","source":{"id":"1705.00720","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.00720","created_at":"2026-05-18T00:41:07Z"},{"alias_kind":"arxiv_version","alias_value":"1705.00720v2","created_at":"2026-05-18T00:41:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.00720","created_at":"2026-05-18T00:41:07Z"},{"alias_kind":"pith_short_12","alias_value":"D635E5KG6JZ7","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"D635E5KG6JZ7SG33","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"D635E5KG","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:5ccb9785c4ebd03e348a543426f02e3ec4c57a1c207c9a1875a6b78018abe887","target":"graph","created_at":"2026-05-18T00:41: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":"The computation of the tropical prevariety is the first step in the application of polyhedral methods to compute positive dimensional solution sets of polynomial systems. In particular, pretropisms are candidate leading exponents for the power series developments of the solutions. The computation of the power series may start as soon as one pretropism is available, so our parallel computation of the tropical prevariety has an application in a pipelined solver.\n  We present a parallel implementation of dynamic enumeration. Our first distributed memory implementation with forked processes achiev","authors_text":"Anders Jensen, Jan Verschelde, Jeff Sommars","cross_cats":["cs.CG","cs.DC","math.AG","math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2017-05-01T21:34:00Z","title":"Computing Tropical Prevarieties in Parallel"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.00720","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:d82fffb0d107c90065cce58e91f328778db55ad3a0e183411ff56a80348f9662","target":"record","created_at":"2026-05-18T00:41: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":"1b312b8745ac63d90d7e12b36c8163666b2c7c81831d448bb02ef0426901645a","cross_cats_sorted":["cs.CG","cs.DC","math.AG","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2017-05-01T21:34:00Z","title_canon_sha256":"1e9e933543ae932a46a6e0e921e07229d697cd26ded760f576abb678a73f4c1b"},"schema_version":"1.0","source":{"id":"1705.00720","kind":"arxiv","version":2}},"canonical_sha256":"1fb7d27546f273f91b7b523f2c2d2487e1b8656242ece8078bb61dbad8bea82a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1fb7d27546f273f91b7b523f2c2d2487e1b8656242ece8078bb61dbad8bea82a","first_computed_at":"2026-05-18T00:41:07.020948Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:41:07.020948Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CMZHYHAaSaodtd8vt29+U2giPJTYyAfWcnK5UtxVL/13f9Xdx2unLT2H2wE7w3wtm1hXa02qYWO5JfDq8MjFBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:41:07.021392Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.00720","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d82fffb0d107c90065cce58e91f328778db55ad3a0e183411ff56a80348f9662","sha256:5ccb9785c4ebd03e348a543426f02e3ec4c57a1c207c9a1875a6b78018abe887"],"state_sha256":"a8972d5a86d97c48b79d21216db9011b7c7038862bf5da075a737dc75a7fa91c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iNuNy+fcK0pwCDStG8YpCu7LsB2gYj8qJ7yhyQRFpp2kkCW/dIn/XJfyrHeDpjITrmEyce5ORBthWPmvceOgAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T06:55:00.960249Z","bundle_sha256":"29d504617c4ebe675e94fe8cd290fe60df97eb08d1d14a0e0401b8a0c8d5bc64"}}