Automorphisms of cusps and Inoue-Hirzebruch surfaces
H. C. Pinkham (1984)
Compositio Mathematica
Similarity:
H. C. Pinkham (1984)
Compositio Mathematica
Similarity:
Gritsenko, V., Hulek, K., Sankaran, G.K. (2007)
Documenta Mathematica
Similarity:
Robert Friedman, Henry Pinkham (1984)
Compositio Mathematica
Similarity:
Alexandru Dimca (1986)
Compositio Mathematica
Similarity:
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...
J. L. Ericksen (1982)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Henry H. Crapo (1967)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
K. Adaricheva, Wiesław Dziobiak, V. Gorbunov (1993)
Fundamenta Mathematicae
Similarity:
We prove that a finite atomistic lattice can be represented as a lattice of quasivarieties if and only if it is isomorphic to the lattice of all subsemilattices of a finite semilattice. This settles a conjecture that appeared in the context of [11].
Janner, Aloysio (2008)
Computational & Mathematical Methods in Medicine
Similarity:
Walendziak, Andrzej (1994)
Portugaliae Mathematica
Similarity: