@article{edr,
  author  = {Cano, Guillaume and Cohen, Cyril and D\'en\`es, Maxime and M\"ortberg, Anders and Siles, Vincent},
  title   = {{Formalized Linear Algebra over Elementary Divisor Rings in Coq}},
  journal = {Logical Methods in Computer Science},
  year    = {2016},
  volume  = {12},
  number  = {2},
  url     = {http://dx.doi.org/10.2168/LMCS-12(2:7)2016},
  doi     = {10.2168/LMCS-12(2:7)2016},
}