1 paper · 1 filter
Gema M. Diaz-Toca, Henri Lombardi
In this paper, we first present an algorithm for computing the Hermite normal form of pseudo-matrices over Prüfer domains. This algorithm allows us to provide constructive proofs o…