TY - JOUR AU - A. V. Malyshev TI - On the aplication of computer to proof a~Minkowski a~conjecture in geometry of number JO - Zapiski Nauchnykh Seminarov POMI PY - 1977 SP - 163 EP - 180 VL - 71 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZNSL_1977_71_a12/ LA - ru ID - ZNSL_1977_71_a12 ER -