Title: Hermite normal form computation using modulo determinant arithmetic