External Links

    Journal: Formalized Mathematics

    Volume 20, Issue 2

    97 -- 104Marco Riccardi, Artur Kornilowicz. Fundamental Group of n-sphere for n ≥ 2
    105 -- 112Artur Kornilowicz, Marco Riccardi. The Borsuk-Ulam Theorem
    113 -- 124Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama. Higher-Order Partial Differentiation
    125 -- 146Hiroyuki Okazaki, Yasunari Shidama. Formalization of the Data Encryption Standard
    147 -- 155Grzegorz Bancerek. Semantics of MML Query
    157 -- 159Boris A. Shminke. Routh's, Menelaus' and Generalized Ceva's Theorems
    161 -- 174Piotr Rudnicki, Lorna Stewart. Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph
    175 -- 179Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama. Extended Euclidean Algorithm and CRT Algorithm
    181 -- 191Christoph Schwarzweller. Introduction to Rational Functions
    runs on