The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama (2012)
Formalized Mathematics
Similarity:
In this article, we formalize Z-module, that is a module over integer ring. Z-module is necassary for lattice problems, LLL (Lenstra-Lenstra-Lovász) base reduction algorithm and cryptographic systems with lattices [11].
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama (2013)
Formalized Mathematics
Similarity:
In this article, we formalize a free Z-module and its property. In particular, we formalize the vector space of rational field corresponding to a free Z-module and prove formally that submodules of a free Z-module are free. Z-module is necassary for lattice problems - LLL (Lenstra, Lenstra and Lov´asz) base reduction algorithm and cryptographic systems with lattice [20]. Some theorems in this article are described by translating theorems in [11] into theorems of Z-module, however their...
Oneto R., Ángel V. (1996)
Divulgaciones Matemáticas
Similarity:
Lomp, Christian (2006)
Beiträge zur Algebra und Geometrie
Similarity:
Andrzej Tyc (1998)
Colloquium Mathematicae
Similarity:
Ali, Majid M., Smith, David J. (2001)
Beiträge zur Algebra und Geometrie
Similarity:
Kamal, M.A., Elmnophy, O.A. (2005)
Acta Mathematica Universitatis Comenianae. New Series
Similarity:
Nido V., Juan A., Mendoza I., Pablo, Villegas S., Luis M. (2009)
Revista Colombiana de Matemáticas
Similarity:
Ali, Majid M., Smith, David J. (2004)
Beiträge zur Algebra und Geometrie
Similarity:
Wongwai, S. (2002)
Acta Mathematica Universitatis Comenianae. New Series
Similarity:
Popescu, Paul, Popescu, Marcela (2004)
Zeszyty Naukowe Uniwersytetu Jagiellońskiego. Universitatis Iagellonicae Acta Mathematica
Similarity:
Andrzej Borowiec, Vladislav Kharchenko, Zbigniew Oziewicz (1997)
Banach Center Publications
Similarity:
The purpose of this note is to show how calculi on unital associative algebra with universal right bimodule generalize previously studied constructions by Pusz and Woronowicz [1989] and by Wess and Zumino [1990] and that in this language results are in a natural context, are easier to describe and handle. As a by-product we obtain intrinsic, coordinate-free and basis-independent generalization of the first order noncommutative differential calculi with partial derivatives.