External Links

    Journal: Formalized Mathematics

    Volume 22, Issue 3

    189 -- 198Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module
    199 -- 204Peter Jaeger. Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance
    205 -- 208Rafal Ziobro. Some Remarkable Identities Involving Numbers
    209 -- 223Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama. Topological Properties of Real Normed Space
    225 -- 255Grzegorz Bancerek. Algebraic Approach to Algorithmic Logic
    257 -- 267Adam Grabowski. Formalization of Generalized Almost Distributive Lattices
    269 -- 275Kenichi Arai, Ken Wakabayashi, Hiroyuki Okazaki. Difference of Function on Vector Space over F
    runs on