Matrix of \(\mathbb{Z}\)-module
From MaRDI portal
Publication:2515742
DOI10.2478/forma-2015-0003zbMath1317.11037OpenAlexW1145565286MaRDI QIDQ2515742
Yasunari Shidama, Yuichi Futa, Hiroyuki Okazaki
Publication date: 6 August 2015
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2015-0003
Projective and free modules and ideals in commutative rings (13C10) Mechanization of proofs and logical operations (03B35) Bilinear and Hermitian forms (11E39)
Related Items
Lattice of \(\mathbb{Z}\)-module ⋮ Dual lattice of \(\mathbb{Z}\)-module lattice ⋮ Embedded lattice and properties of Gram matrix
Cites Work