Structure theory for geometric lattices
Henry H. Crapo (1967)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Displaying similar documents to “On The Essential Flats Of Geometric Lattices”
Structure theory for geometric lattices
On skew lattices. II.
Václav Slavík (1973)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
On atomistic lattices.
Walendziak, Andrzej (1994)
Portugaliae Mathematica
Similarity:
Crystal lattices and sub-lattices
J. L. Ericksen (1982)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Lattice formulation of general algebraic dependence
Vlastimil Dlab (1970)
Czechoslovak Mathematical Journal
Similarity:
Lattice of ℤ-module
Yuichi Futa, Yasunari Shidama (2016)
Formalized Mathematics
Similarity:
In this article, we formalize the definition of lattice of ℤ-module and its properties in the Mizar system [5].We formally prove that scalar products in lattices are bilinear forms over the field of real numbers ℝ. We also formalize the definitions of positive definite and integral lattices and their properties. Lattice of ℤ-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [14], and cryptographic systems with lattices [15] and coding...