Embedded lattice and properties of Gram matrix

DOI10.1515/forma-2017-0007zbMath1365.13015OpenAlexW2614898514MaRDI QIDQ2356940

Yasunari Shidama, Yuichi Futa

Publication date: 7 June 2017

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

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

zbMATH Keywords

Gram matrix\(\mathbb Z\)-latticerational \(\mathbb Z\)-lattice

Mathematics Subject Classification ID

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

Related Items

Dual lattice of \(\mathbb{Z}\)-module lattice

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Four decades of {\textsc{Mizar}}. Foreword
• Divisible \(\mathbb{Z}\)-modules
• Lattice of \(\mathbb{Z}\)-module
• Factoring polynomials with rational coefficients
• Matrix of \(\mathbb{Z}\)-module
• Quotient Module of Z-module
• Semantics of MML Query - Ordering
• Z-modules