@misc{indiciaec56570418857,
  title = {Formalized linear algebra over Elementary Divisor Rings in Coq},
  author = {Guillaume Cano and Cyril Cohen and Maxime Dénès and Anders Mörtberg and Vincent Siles},
  year = {2016},
  doi = {10.2168/lmcs-12(2:7)2016},
  url = {https://arxiv.org/abs/1601.07472},
  note = {Source identifier: 1601.07472}
}