Nikolaj Glazunov. Minkowski's Conjecture on Critical Lattices and Quantifier Elimination. In Andreas Dolzmann, Andreas Seidl, Thomas Sturm, editors, Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning. pages 111-114, Books on Demand, 2005.
@inproceedings{Glazunov05, title = {Minkowski's Conjecture on Critical Lattices and Quantifier Elimination}, author = {Nikolaj Glazunov}, year = {2005}, researchr = {https://researchr.org/publication/Glazunov05}, cites = {0}, citedby = {0}, pages = {111-114}, booktitle = {Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning}, editor = {Andreas Dolzmann and Andreas Seidl and Thomas Sturm}, publisher = {Books on Demand}, isbn = {3-8334-2669-1}, }