Page 1

Displaying 1 – 4 of 4

Showing per page

Flocks in universal and Boolean algebras

Gabriele Ricci (2010)

Discussiones Mathematicae - General Algebra and Applications

We propose the notion of flocks, which formerly were introduced only in based algebras, for any universal algebra. This generalization keeps the main properties we know from vector spaces, e.g. a closure system that extends the subalgebra one. It comes from the idempotent elementary functions, we call "interpolators", that in case of vector spaces merely are linear functions with normalized coefficients. The main example, we consider outside vector spaces, concerns Boolean algebras,...

Formalization of Integral Linear Space

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama (2011)

Formalized Mathematics

In this article, we formalize integral linear spaces, that is a linear space with integer coefficients. Integral linear spaces are necessary for lattice problems, LLL (Lenstra-Lenstra-Lovász) base reduction algorithm that outputs short lattice base and cryptographic systems with lattice [8].

Currently displaying 1 – 4 of 4

Page 1