External Links

    Journal: Formalized Mathematics

    Volume 22, Issue 1

    1 -- 10Kazuhisa Ishida, Yasunari Shidama, Adam Grabowski. Definition of Flat Poset and Existence Theorems for Recursive Call
    11 -- 19Karol Pak. Tietze Extension Theorem for n-dimensional Spaces
    21 -- 28Karol Pak. Brouwer Invariance of Domain Theorem
    29 -- 35Pratima K. Shah, Pauline N. Kawamoto, Mariusz Giero. The Formalization of Decision-Free Petri Net
    37 -- 56Grzegorz Bancerek. Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
    57 -- 68Noboru Endou. Double Series and Sums
    69 -- 77Keiko Narita, Noboru Endou, Yasunari Shidama. Dual Spaces and Hahn-Banach Theorem
    79 -- 84Roland Coghetto. Semiring of Sets
    85 -- 88Roland Coghetto. Semiring of Sets: Examples
    89 -- 97Adam Grabowski. Topological Interpretation of Rough Sets
    runs on