External Links

    Journal: Formalized Mathematics

    Volume 21, Issue 3

    163 -- 170Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama. Double Sequences and Limits
    171 -- 184Kenichi Arai, Hiroyuki Okazaki. Formalization of the Advanced Encryption Standard. Part I
    185 -- 191Keiko Narita, Noboru Endou, Yasunari Shidama. The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space
    193 -- 205Marco Riccardi. Object-Free Definition of Categories
    207 -- 211Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama. Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
    213 -- 221Adam Grabowski. Prime Filters and Ideals in Distributive Lattices
    223 -- 233Eliza Niewiadomska, Adam Grabowski. Introduction to Formal Preference Spaces
    runs on