Displaying similar documents to “A problem of Schinzel on lattice points”

On lattice bases with special properties

Ulrich Halbritter, Michael E. Pohst (2000)

Journal de théorie des nombres de Bordeaux

Similarity:

In this paper we introduce multiplicative lattices in ( > 0 ) r and determine finite unions of suitable simplices as fundamental domains for sublattices of finite index. For this we define cyclic non-negative bases in arbitrary lattices. These bases are then used to calculate Shintani cones in totally real algebraic number fields. We mainly concentrate our considerations to lattices in two and three dimensions corresponding to cubic and quartic fields.

Dual Lattice of ℤ-module Lattice

Yuichi Futa, Yasunari Shidama (2017)

Formalized Mathematics

Similarity:

In this article, we formalize in Mizar [5] the definition of dual lattice and their properties. We formally prove that a set of all dual vectors in a rational lattice has the construction of a lattice. We show that a dual basis can be calculated by elements of an inverse of the Gram Matrix. We also formalize a summation of inner products and their properties. Lattice of ℤ-module is necessary for lattice problems, LLL(Lenstra, Lenstra and Lovász) base reduction algorithm and cryptographic...