{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:EMRYGIDJNQCCKO5ZJHFLOCTVBY","short_pith_number":"pith:EMRYGIDJ","schema_version":"1.0","canonical_sha256":"23238320696c04253bb949cab70a750e0739bc7f8b13211fd38d3f14b75e234b","source":{"kind":"arxiv","id":"1611.07306","version":2},"attestation_state":"computed","paper":{"title":"Groebner Bases for Everyone with CoCoA-5 and CoCoALib","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"math.AC","authors_text":"Anna Maria Bigatti, John Abbott","submitted_at":"2016-11-22T14:10:27Z","abstract_excerpt":"We present a survey on the developments related to Groebner bases, and show explicit examples in CoCoA. The CoCoA project dates back to 1987: its aim was to create a \"mathematician\"-friendly computational laboratory for studying Commutative Algebra, most especially Groebner bases. Always maintaining this \"friendly\" tradition, the project has grown and evolved, and the software has been completely rewritten. CoCoA offers Groebner bases for all levels of interest: from the basic, explicit call in the interactive system CoCoA-5, to problem-specific optimized implementations, to the computer--comp"},"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":"1611.07306","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2016-11-22T14:10:27Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"57199eb00edeb34555cbb05c9a2bfbda813c329bc981bba546f476e714d13179","abstract_canon_sha256":"6e6455b7944606511aa3ead29b1b81dd117051512e5134d17aacb05b85f5ccf5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:13.742390Z","signature_b64":"SciRRxne1bL7VV7e+OL9toZnFN/LUf/spnDemErS7bYpaRy8pu4SOWOHbjfx9ZgKa8SpntLgECpoCciFL8YkAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"23238320696c04253bb949cab70a750e0739bc7f8b13211fd38d3f14b75e234b","last_reissued_at":"2026-05-18T00:46:13.741735Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:13.741735Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Groebner Bases for Everyone with CoCoA-5 and CoCoALib","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"math.AC","authors_text":"Anna Maria Bigatti, John Abbott","submitted_at":"2016-11-22T14:10:27Z","abstract_excerpt":"We present a survey on the developments related to Groebner bases, and show explicit examples in CoCoA. The CoCoA project dates back to 1987: its aim was to create a \"mathematician\"-friendly computational laboratory for studying Commutative Algebra, most especially Groebner bases. Always maintaining this \"friendly\" tradition, the project has grown and evolved, and the software has been completely rewritten. CoCoA offers Groebner bases for all levels of interest: from the basic, explicit call in the interactive system CoCoA-5, to problem-specific optimized implementations, to the computer--comp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.07306","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1611.07306","created_at":"2026-05-18T00:46:13.741831+00:00"},{"alias_kind":"arxiv_version","alias_value":"1611.07306v2","created_at":"2026-05-18T00:46:13.741831+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.07306","created_at":"2026-05-18T00:46:13.741831+00:00"},{"alias_kind":"pith_short_12","alias_value":"EMRYGIDJNQCC","created_at":"2026-05-18T12:30:12.583610+00:00"},{"alias_kind":"pith_short_16","alias_value":"EMRYGIDJNQCCKO5Z","created_at":"2026-05-18T12:30:12.583610+00:00"},{"alias_kind":"pith_short_8","alias_value":"EMRYGIDJ","created_at":"2026-05-18T12:30:12.583610+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/EMRYGIDJNQCCKO5ZJHFLOCTVBY","json":"https://pith.science/pith/EMRYGIDJNQCCKO5ZJHFLOCTVBY.json","graph_json":"https://pith.science/api/pith-number/EMRYGIDJNQCCKO5ZJHFLOCTVBY/graph.json","events_json":"https://pith.science/api/pith-number/EMRYGIDJNQCCKO5ZJHFLOCTVBY/events.json","paper":"https://pith.science/paper/EMRYGIDJ"},"agent_actions":{"view_html":"https://pith.science/pith/EMRYGIDJNQCCKO5ZJHFLOCTVBY","download_json":"https://pith.science/pith/EMRYGIDJNQCCKO5ZJHFLOCTVBY.json","view_paper":"https://pith.science/paper/EMRYGIDJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1611.07306&json=true","fetch_graph":"https://pith.science/api/pith-number/EMRYGIDJNQCCKO5ZJHFLOCTVBY/graph.json","fetch_events":"https://pith.science/api/pith-number/EMRYGIDJNQCCKO5ZJHFLOCTVBY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EMRYGIDJNQCCKO5ZJHFLOCTVBY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EMRYGIDJNQCCKO5ZJHFLOCTVBY/action/storage_attestation","attest_author":"https://pith.science/pith/EMRYGIDJNQCCKO5ZJHFLOCTVBY/action/author_attestation","sign_citation":"https://pith.science/pith/EMRYGIDJNQCCKO5ZJHFLOCTVBY/action/citation_signature","submit_replication":"https://pith.science/pith/EMRYGIDJNQCCKO5ZJHFLOCTVBY/action/replication_record"}},"created_at":"2026-05-18T00:46:13.741831+00:00","updated_at":"2026-05-18T00:46:13.741831+00:00"}