Lattice of \(\mathbb{Z}\)-module

DOI10.1515/FORMA-2016-0005zbMath1343.13017OpenAlexW2514988436MaRDI QIDQ306630

Yuichi Futa, Yasunari Shidama

Publication date: 1 September 2016

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2016-0005

zbMATH Keywords

Gram matrix\(\mathbb{Z}\)-latticeintegral \(\mathbb{Z}\)-latticepositive definite \(\mathbb{Z}\)-lattice

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Quadratic and bilinear forms, inner products (15A63) Theory of modules and ideals in commutative rings (13C99)

Related Items (2)

Dual lattice of \(\mathbb{Z}\)-module lattice ⋮ Embedded lattice and properties of Gram matrix

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Factoring polynomials with rational coefficients
• Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module
• Matrix of \(\mathbb{Z}\)-module
• Quotient Module of Z-module
• Semantics of MML Query - Ordering
• Z-modules
• Lattices and Codes
• Mizar: State-of-the-art and Beyond

This page was built for publication: Lattice of \(\mathbb{Z}\)-module