{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:CXCHWM5UQ7OBJGOQNXVKCEKDT3","short_pith_number":"pith:CXCHWM5U","schema_version":"1.0","canonical_sha256":"15c47b33b487dc1499d06deaa111439efb01f442ab91961f4169a9357ed9e338","source":{"kind":"arxiv","id":"1705.05571","version":1},"attestation_state":"computed","paper":{"title":"A Tropical F5 algorithm","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"cs.SC","authors_text":"Kazuhiro Yokoyama, Tristan Vaccon (XLIM-MATHIS)","submitted_at":"2017-05-16T08:02:41Z","abstract_excerpt":"Let K be a field equipped with a valuation. Tropical varieties over K can be defined with a theory of Gr{\\\"o}bner bases taking into account the valuation of K. While generalizing the classical theory of Gr{\\\"o}bner bases, it is not clear how modern algorithms for computing Gr{\\\"o}bner bases can be adapted to the tropical case. Among them, one of the most efficient is the celebrated F5 Algorithm of Faug{\\`e}re. In this article, we prove that, for homogeneous ideals, it can be adapted to the tropical case. We prove termination and correctness. Because of the use of the valuation, the theory of t"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1705.05571","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-05-16T08:02:41Z","cross_cats_sorted":["math.AC"],"title_canon_sha256":"83ec782af42154d2cd6af0716859520e08ed9ab10e2d5f0cc2ba6b0446d5467b","abstract_canon_sha256":"dd8622f72bb1084e7ababd5a70dd73e23ddacdbf49261b12447a217496188659"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:22.407754Z","signature_b64":"V0FDyFsk9Xi6cGPHDOV0rFbs5GAMa7XJiJOZ1uRpUpjqqqdjpk2Y4hUCleTsfpnCkFc8Dp9N6NlsGP9pNo8tAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15c47b33b487dc1499d06deaa111439efb01f442ab91961f4169a9357ed9e338","last_reissued_at":"2026-05-18T00:44:22.407174Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:22.407174Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Tropical F5 algorithm","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"cs.SC","authors_text":"Kazuhiro Yokoyama, Tristan Vaccon (XLIM-MATHIS)","submitted_at":"2017-05-16T08:02:41Z","abstract_excerpt":"Let K be a field equipped with a valuation. Tropical varieties over K can be defined with a theory of Gr{\\\"o}bner bases taking into account the valuation of K. While generalizing the classical theory of Gr{\\\"o}bner bases, it is not clear how modern algorithms for computing Gr{\\\"o}bner bases can be adapted to the tropical case. Among them, one of the most efficient is the celebrated F5 Algorithm of Faug{\\`e}re. In this article, we prove that, for homogeneous ideals, it can be adapted to the tropical case. We prove termination and correctness. Because of the use of the valuation, the theory of t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.05571","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1705.05571","created_at":"2026-05-18T00:44:22.407263+00:00"},{"alias_kind":"arxiv_version","alias_value":"1705.05571v1","created_at":"2026-05-18T00:44:22.407263+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.05571","created_at":"2026-05-18T00:44:22.407263+00:00"},{"alias_kind":"pith_short_12","alias_value":"CXCHWM5UQ7OB","created_at":"2026-05-18T12:31:10.602751+00:00"},{"alias_kind":"pith_short_16","alias_value":"CXCHWM5UQ7OBJGOQ","created_at":"2026-05-18T12:31:10.602751+00:00"},{"alias_kind":"pith_short_8","alias_value":"CXCHWM5U","created_at":"2026-05-18T12:31:10.602751+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CXCHWM5UQ7OBJGOQNXVKCEKDT3","json":"https://pith.science/pith/CXCHWM5UQ7OBJGOQNXVKCEKDT3.json","graph_json":"https://pith.science/api/pith-number/CXCHWM5UQ7OBJGOQNXVKCEKDT3/graph.json","events_json":"https://pith.science/api/pith-number/CXCHWM5UQ7OBJGOQNXVKCEKDT3/events.json","paper":"https://pith.science/paper/CXCHWM5U"},"agent_actions":{"view_html":"https://pith.science/pith/CXCHWM5UQ7OBJGOQNXVKCEKDT3","download_json":"https://pith.science/pith/CXCHWM5UQ7OBJGOQNXVKCEKDT3.json","view_paper":"https://pith.science/paper/CXCHWM5U","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1705.05571&json=true","fetch_graph":"https://pith.science/api/pith-number/CXCHWM5UQ7OBJGOQNXVKCEKDT3/graph.json","fetch_events":"https://pith.science/api/pith-number/CXCHWM5UQ7OBJGOQNXVKCEKDT3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CXCHWM5UQ7OBJGOQNXVKCEKDT3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CXCHWM5UQ7OBJGOQNXVKCEKDT3/action/storage_attestation","attest_author":"https://pith.science/pith/CXCHWM5UQ7OBJGOQNXVKCEKDT3/action/author_attestation","sign_citation":"https://pith.science/pith/CXCHWM5UQ7OBJGOQNXVKCEKDT3/action/citation_signature","submit_replication":"https://pith.science/pith/CXCHWM5UQ7OBJGOQNXVKCEKDT3/action/replication_record"}},"created_at":"2026-05-18T00:44:22.407263+00:00","updated_at":"2026-05-18T00:44:22.407263+00:00"}