{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:3RZDX5LQT44IYZ4PCYII4JOJFJ","short_pith_number":"pith:3RZDX5LQ","schema_version":"1.0","canonical_sha256":"dc723bf5709f388c678f16108e25c92a795ad262ec24178a45e9a34a55abd0de","source":{"kind":"arxiv","id":"2607.06372","version":1},"attestation_state":"computed","paper":{"title":"Groebner.jl: Fast Gr\\\"obner Tracing in Julia","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"cs.SC","authors_text":"Alexander Demin","submitted_at":"2026-07-07T15:11:07Z","abstract_excerpt":"A standard way to control expression swell in computer algebra is to use multi-modular or evaluation-interpolation methods. In computations involving Gr\\\"obner bases, these techniques typically require repeatedly computing Gr\\\"obner bases of specializations of the same ideal. These repeated computations can be accelerated through precomputation, notably using Traverso's tracing. We present Groebner.jl (https://github.com/sumiya11/Groebner.jl), a Julia implementation of the F4 algorithm that exposes Traverso's tracing through a reusable public interface. The implementation supports SIMD-friendl"},"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":"2607.06372","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-07-07T15:11:07Z","cross_cats_sorted":["math.AC"],"title_canon_sha256":"b3794719a365647064813ea49acd2487276940fc23dd9593907e016b71932132","abstract_canon_sha256":"058dd7e8dc9188cf3f9c96a503938b016ef9fb7493ece8df5a69b317dcdf7e8f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-08T01:19:23.617897Z","signature_b64":"h6H7oJuFjtVv+yfnJv8z6YabHgRVPkaC1m0sZaBI8PaRiNxFwLRD6EOisAcDj6jFZlVddNP5Dx22wx1Nyi6zBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dc723bf5709f388c678f16108e25c92a795ad262ec24178a45e9a34a55abd0de","last_reissued_at":"2026-07-08T01:19:23.617483Z","signature_status":"signed_v1","first_computed_at":"2026-07-08T01:19:23.617483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Groebner.jl: Fast Gr\\\"obner Tracing in Julia","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"cs.SC","authors_text":"Alexander Demin","submitted_at":"2026-07-07T15:11:07Z","abstract_excerpt":"A standard way to control expression swell in computer algebra is to use multi-modular or evaluation-interpolation methods. In computations involving Gr\\\"obner bases, these techniques typically require repeatedly computing Gr\\\"obner bases of specializations of the same ideal. These repeated computations can be accelerated through precomputation, notably using Traverso's tracing. We present Groebner.jl (https://github.com/sumiya11/Groebner.jl), a Julia implementation of the F4 algorithm that exposes Traverso's tracing through a reusable public interface. The implementation supports SIMD-friendl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.06372","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.06372/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2607.06372","created_at":"2026-07-08T01:19:23.617542+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.06372v1","created_at":"2026-07-08T01:19:23.617542+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.06372","created_at":"2026-07-08T01:19:23.617542+00:00"},{"alias_kind":"pith_short_12","alias_value":"3RZDX5LQT44I","created_at":"2026-07-08T01:19:23.617542+00:00"},{"alias_kind":"pith_short_16","alias_value":"3RZDX5LQT44IYZ4P","created_at":"2026-07-08T01:19:23.617542+00:00"},{"alias_kind":"pith_short_8","alias_value":"3RZDX5LQ","created_at":"2026-07-08T01:19:23.617542+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/3RZDX5LQT44IYZ4PCYII4JOJFJ","json":"https://pith.science/pith/3RZDX5LQT44IYZ4PCYII4JOJFJ.json","graph_json":"https://pith.science/api/pith-number/3RZDX5LQT44IYZ4PCYII4JOJFJ/graph.json","events_json":"https://pith.science/api/pith-number/3RZDX5LQT44IYZ4PCYII4JOJFJ/events.json","paper":"https://pith.science/paper/3RZDX5LQ"},"agent_actions":{"view_html":"https://pith.science/pith/3RZDX5LQT44IYZ4PCYII4JOJFJ","download_json":"https://pith.science/pith/3RZDX5LQT44IYZ4PCYII4JOJFJ.json","view_paper":"https://pith.science/paper/3RZDX5LQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.06372&json=true","fetch_graph":"https://pith.science/api/pith-number/3RZDX5LQT44IYZ4PCYII4JOJFJ/graph.json","fetch_events":"https://pith.science/api/pith-number/3RZDX5LQT44IYZ4PCYII4JOJFJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3RZDX5LQT44IYZ4PCYII4JOJFJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3RZDX5LQT44IYZ4PCYII4JOJFJ/action/storage_attestation","attest_author":"https://pith.science/pith/3RZDX5LQT44IYZ4PCYII4JOJFJ/action/author_attestation","sign_citation":"https://pith.science/pith/3RZDX5LQT44IYZ4PCYII4JOJFJ/action/citation_signature","submit_replication":"https://pith.science/pith/3RZDX5LQT44IYZ4PCYII4JOJFJ/action/replication_record"}},"created_at":"2026-07-08T01:19:23.617542+00:00","updated_at":"2026-07-08T01:19:23.617542+00:00"}