@inproceedings{fpmods, 
  author    = {Cohen, Cyril and M\"ortberg, Anders},
  title     = {{A Coq Formalization of Finitely Presented Modules}},
  keywords  = {Formalization of mathematics; Homological algebra; Constructive algebra; Coq; SSReflect},
  booktitle = {Interactive Theorem Proving},
  series    = {Lecture Notes in Computer Science},
  year      = {2014},
  volume    = {8558},
  pages     = {193-208},
  isbn      = {978-3-319-08969-0},
  editor    = {Klein, Gerwin and Gamboa, Ruben},
  doi       = {10.1007/978-3-319-08970-6_13},
  url       = {http://dx.doi.org/10.1007/978-3-319-08970-6_13},
  publisher = {Springer International Publishing},
}