Login / Signup
Formalized linear algebra over Elementary Divisor Rings in Coq.
Guillaume Cano
Cyril Cohen
Maxime Dénès
Anders Mörtberg
Vincent Siles
Published in:
Log. Methods Comput. Sci. (2016)
Keyphrases
</>
linear algebra
computer architecture
singular value decomposition
image processing
sparse matrices
data mining
computer vision
high resolution