External Links

    Journal: Formalized Mathematics

    Volume 27, Issue 2

    93 -- 100Christoph Schwarzweller. On Roots of Polynomials over F[X]/ 怈p怉
    101 -- 106Kazuhisa Nakasho. Isomorphisms from the Space of Multilinear Operators
    107 -- 115Kazuhisa Nakasho. Invertible Operators on Banach Spaces
    117 -- 131Kazuhisa Nakasho, Yasunari Shidama. Implicit Function Theorem. Part II
    133 -- 137Christoph Schwarzweller. On Monomorphisms and Subfields
    139 -- 152Sebastian Koch. Natural Addition of Ordinals
    153 -- 179Sebastian Koch. About Supergraphs. Part III
    181 -- 187Adrian Jaszczak, Artur Kornilowicz. Partial Correctness of a Factorial Algorithm
    189 -- 195Adrian Jaszczak. Partial Correctness of a Power Algorithm
    197 -- 208Karol Pak. Diophantine Sets. Part II
    209 -- 221Karol Pak. Formalization of the MRDP Theorem in the Mizar System
    runs on