https://arxiv.org/abs/1601.07472v2
[1601.07472v2] Formalized linear algebra over Elementary Divisor Rings in Coq
Abstract page for arXiv paper 1601.07472v2: Formalized linear algebra over Elementary Divisor Rings in Coq
linear algebraelementary divisor1601formalized