{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:EDTWLAZUKDG646ZZCVOLECBMVD","short_pith_number":"pith:EDTWLAZU","schema_version":"1.0","canonical_sha256":"20e765833450cdee7b39155cb2082ca8d095beadfd6aa2dc43a21fe459c21298","source":{"kind":"arxiv","id":"1611.02942","version":3},"attestation_state":"computed","paper":{"title":"Alg\\`ebre commutative M\\'ethodes constructives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AC","authors_text":"Claude Quitt\\'e, Henri Lombardi","submitted_at":"2016-11-08T20:49:34Z","abstract_excerpt":"This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules, which constitutes the algebraic version of the vector bundles in differential geometry. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic content. In particular, when a theorem affirms the existence of an object -- the solution of a problem -- a construction algorithm of the object can always be extracted from the given proof. We revisit with a new and often simplifying eye several abstract classical theories"},"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.02942","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2016-11-08T20:49:34Z","cross_cats_sorted":[],"title_canon_sha256":"debe30ff58ea98db44f4959730b52146b18954a075daca5f92e74891445e3542","abstract_canon_sha256":"f821c30e05901fe1a6c9b5302f3ba61b3be974a89cb69b162b2d5bda2bd7ba6d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:55.804139Z","signature_b64":"CZk60ycIRjiTzhN6unjCaEHsdLaKKHFehgS+vrxDLCTISmkY7PQEaJhY/ZLBD695HZS7oLgQXWBGW7XDenkzCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"20e765833450cdee7b39155cb2082ca8d095beadfd6aa2dc43a21fe459c21298","last_reissued_at":"2026-05-17T23:46:55.803654Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:55.803654Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Alg\\`ebre commutative M\\'ethodes constructives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AC","authors_text":"Claude Quitt\\'e, Henri Lombardi","submitted_at":"2016-11-08T20:49:34Z","abstract_excerpt":"This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules, which constitutes the algebraic version of the vector bundles in differential geometry. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic content. In particular, when a theorem affirms the existence of an object -- the solution of a problem -- a construction algorithm of the object can always be extracted from the given proof. We revisit with a new and often simplifying eye several abstract classical theories"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.02942","kind":"arxiv","version":3},"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.02942","created_at":"2026-05-17T23:46:55.803727+00:00"},{"alias_kind":"arxiv_version","alias_value":"1611.02942v3","created_at":"2026-05-17T23:46:55.803727+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.02942","created_at":"2026-05-17T23:46:55.803727+00:00"},{"alias_kind":"pith_short_12","alias_value":"EDTWLAZUKDG6","created_at":"2026-05-18T12:30:12.583610+00:00"},{"alias_kind":"pith_short_16","alias_value":"EDTWLAZUKDG646ZZ","created_at":"2026-05-18T12:30:12.583610+00:00"},{"alias_kind":"pith_short_8","alias_value":"EDTWLAZU","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/EDTWLAZUKDG646ZZCVOLECBMVD","json":"https://pith.science/pith/EDTWLAZUKDG646ZZCVOLECBMVD.json","graph_json":"https://pith.science/api/pith-number/EDTWLAZUKDG646ZZCVOLECBMVD/graph.json","events_json":"https://pith.science/api/pith-number/EDTWLAZUKDG646ZZCVOLECBMVD/events.json","paper":"https://pith.science/paper/EDTWLAZU"},"agent_actions":{"view_html":"https://pith.science/pith/EDTWLAZUKDG646ZZCVOLECBMVD","download_json":"https://pith.science/pith/EDTWLAZUKDG646ZZCVOLECBMVD.json","view_paper":"https://pith.science/paper/EDTWLAZU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1611.02942&json=true","fetch_graph":"https://pith.science/api/pith-number/EDTWLAZUKDG646ZZCVOLECBMVD/graph.json","fetch_events":"https://pith.science/api/pith-number/EDTWLAZUKDG646ZZCVOLECBMVD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EDTWLAZUKDG646ZZCVOLECBMVD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EDTWLAZUKDG646ZZCVOLECBMVD/action/storage_attestation","attest_author":"https://pith.science/pith/EDTWLAZUKDG646ZZCVOLECBMVD/action/author_attestation","sign_citation":"https://pith.science/pith/EDTWLAZUKDG646ZZCVOLECBMVD/action/citation_signature","submit_replication":"https://pith.science/pith/EDTWLAZUKDG646ZZCVOLECBMVD/action/replication_record"}},"created_at":"2026-05-17T23:46:55.803727+00:00","updated_at":"2026-05-17T23:46:55.803727+00:00"}