Lattice of Z-module

DOI10.1515/FORMA-2016-0005MaRDI QIDQ306630zbMATH OpenOpenAlexFDO

Authors Yuichi Futa, Yasunari Shidama

Publication date 1 September 2016

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 3.0 Unported

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

zbMATH Keywords

\(\mathbb{Z}\)-latticeGram matrixintegral \(\mathbb{Z}\)-latticepositive definite \(\mathbb{Z}\)-lattice

Mathematics Subject Classification ID

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

Recommendations

• Dual lattice of \(\mathbb{Z}\)-module lattice
• Z-modules
• Matrix of \(\mathbb{Z}\)-module
• Embedded lattice and properties of Gram matrix
• Free Z-module

Cites work

• Z-modules
• Factoring polynomials with rational coefficients
• scientific article; zbMATH DE number 2120513 (Why is no real title available?)
• Lattices and codes. A course partially based on lectures by Friedrich Hirzebruch
• Matrix of \(\mathbb{Z}\)-module
• Mizar: state-of-the-art and beyond
• Quotient module of Z-module
• Semantics of MML query -- ordering
• Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module

Cited in

(8)

• Embedded lattice and properties of Gram matrix
• Dual lattice of \(\mathbb{Z}\)-module lattice
• Matrix of \(\mathbb{Z}\)-module
• Formalization of integral linear space
• Z-modules
• scientific article; zbMATH DE number 1517952 (Why is no real title available?)
• scientific article; zbMATH DE number 7008843 (Why is no real title available?)
• z-ideals in lattices

Describes a project that uses

Uses Software

• Mizar

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q306630)