Embedded lattice and properties of Gram matrix

DOI10.1515/FORMA-2017-0007MaRDI QIDQ2356940zbMATH OpenOpenAlexFDO

Authors Yuichi Futa, Yasunari Shidama

Publication date 7 June 2017

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.1515/forma-2017-0007

zbMATH Keywords

\(\mathbb Z\)-latticeGram matrixrational \(\mathbb Z\)-lattice

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Projective and free modules and ideals in commutative rings (13C10) Theory of matrix inversion and generalized inverses (15A09) Quadratic and bilinear forms, inner products (15A63)

Recommendations

• Dual lattice of \(\mathbb{Z}\)-module lattice
• Matrix of \(\mathbb{Z}\)-module
• Lattice of \(\mathbb{Z}\)-module
• A Measure for the Non-Orthogonality of a Lattice Basis
• A normal form for definite quadratic forms over \(\mathbb{F}_{q}[t]\)

Cites work

• Z-modules
• Divisible \(\mathbb{Z}\)-modules
• Factoring polynomials with rational coefficients
• Four decades of \textsc{Mizar}. Foreword
• scientific article; zbMATH DE number 2120513 (Why is no real title available?)
• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Lattice of \(\mathbb{Z}\)-module
• Matrix of \(\mathbb{Z}\)-module
• Quotient module of Z-module
• Semantics of MML query -- ordering

Cited in

(4)

• Embedding lattices in \(L^2([0,1], \mathbb Z)\)
• Dual lattice of \(\mathbb{Z}\)-module lattice
• Matrix of \(\mathbb{Z}\)-module
• Lattice of \(\mathbb{Z}\)-module

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Embedded lattice and properties of Gram matrix

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