A cubic algorithm for computing the Hermite normal form of a nonsingular integer matrix.

Stavros Birmpilis George Labahn Arne Storjohann

Published in: CoRR (2022)

Keyphrases

normal form
computational complexity
np hard
classification algorithm
expressive power
convex hull
projection method
boolean expressions