Minkowski's Conjecture on Critical Lattices and Quantifier Elimination

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.

Abstract

Abstract is missing.