Displaying 461 – 480 of 497

Showing per page

Z-modules

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama (2012)

Formalized Mathematics

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].

Currently displaying 461 – 480 of 497