A Coq formalization of finitely presented modules (Q2879252)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A Coq formalization of finitely presented modules |
scientific article; zbMATH DE number 6341482
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Coq formalization of finitely presented modules |
scientific article; zbMATH DE number 6341482 |
Statements
A Coq Formalization of Finitely Presented Modules (English)
0 references
8 September 2014
0 references
formalization of mathematics
0 references
homological algebra
0 references
constructive algebra
0 references
Coq
0 references
SSReflect
0 references
0.7847305536270142
0 references
0.7810066938400269
0 references
0.7783583402633667
0 references
0.7656514048576355
0 references
0.7640347480773926
0 references
