External Links

    Journal: Formalized Mathematics

    Volume 21, Issue 1

    1 -- 23Grzegorz Bancerek. Analysis of Algorithms: An Example of a Sort Algorithm
    25 -- 31Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama. The Ck Space
    33 -- 39Hiroyuki Okazaki, Yasunari Shidama. Random Variables and Product of Probability Spaces
    41 -- 46Grzegorz Bancerek. Semantics of MML Query - Ordering
    47 -- 53Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller. A Test for the Stability of Networks
    55 -- 64Adam Grabowski. Relational Formal Characterization of Rough Sets
    65 -- 74Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama. Isomorphisms of Direct Products of Finite Commutative Groups
    runs on