Application of a computer to the proof of a conjecture of Minkowski in the geometry of numbers
scientific article; zbMATH DE number 3777594