A verified algorithm for computing the Smith normal form of a matrix.

Published in: Arch. Formal Proofs (2020)

Keyphrases

normal form
similarity measure
np hard
computational complexity
classification algorithm
object oriented
prime implicates
conflict free