A Coq formalization of finitely presented modules
Paper in proceeding, 2014
SSReflect
Homological algebra
Constructive algebra
Formalization of mathematics
Coq
Author
Cyril Cohen
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Anders C O Mörtberg
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 8558 LNCS 193-2089783319089690 (ISBN)
, Austria,
Subject Categories (SSIF 2011)
Algebra and Logic
Geometry
Mathematical Analysis
DOI
10.1007/978-3-319-08970-6_13