Application of a computer to the proof of a conjecture of Minkowski in the geometry of numbers
type: Item
instance of: scholarly article
title: Application of a computer to the proof of a conjecture of Minkowski in the geometry of numbers
zbMATH Open document ID: 0494.10019
DOI: 10.1007/BF01681478
author: A. V. Malyshev
published in: Journal of Soviet Mathematics
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 11H16
Mathematics Subject Classification ID: 11-04
zbMATH DE Number: 3777594
zbMATH Keywords: computer-assisted proof
zbMATH Keywords: Minkowski's conjecture
zbMATH Keywords: critical determinant
Wikidata QID: Q123365140
MaRDI profile type: Publication
cites work: Q4133706
cites work: An Introduction to the Geometry of Numbers
cites work: Q5626760
cites work: Minkowski's conjectures on critical lattices in the metric \((|\xi|^p + |\eta|^p)^{1/p}\)
cites work: Note on a Conjecture By Minkowski
cites work: Lattice Points in the Region |Ax 4 +By 4 | ⩽ 1
cites work: Minkowski's Conjectures on the Critical Lattices of the Region |x | p +|y | p ⩽ 1 (I)
cites work: Minkowski's Conjectures on the Critical Lattices of the Region |x | p +|y | p ⩽1
description: scientific article; zbMATH DE number 3777594