External Links

    Journal: Formalized Mathematics

    Volume 27, Issue 4

    321 -- 335Chad E. Brown, Karol Pak. AIM Loops and the AIM Conjecture
    337 -- 345Adam Grabowski. Formal Development of Rough Inclusion Functions

    Volume 27, Issue 3

    223 -- 228Christoph Schwarzweller. On the Intersection of Fields F with F [X]
    229 -- 235Christoph Schwarzweller. Field Extensions and Kronecker's Construction
    237 -- 259Sebastian Koch. Underlying Simple Graphs
    261 -- 301Sebastian Koch. About Graph Mappings
    303 -- 313Sebastian Koch. About Vertex Mappings
    315 -- 320Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Operations of Points on Elliptic Curve in Affine Coordinates

    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

    Volume 27, Issue 1

    1 -- 13Rafal Ziobro. Concatenation of Finite Sequences
    15 -- 23Kazuhisa Nakasho. Bilinear Operators on Normed Linear Spaces
    25 -- 34Sora Otsuki, Pauline N. Kawamoto, Hiroshi Yamazaki. A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables
    35 -- 45Kazuhisa Nakasho. Multilinear Operator and Its Basic Properties
    47 -- 60Roland Coghetto. Cross-Ratio in Real Vector Space
    61 -- 65Kazuhisa Nakasho, Yasunari Shidama. Continuity of Multilinear Operator on Normed Linear Spaces
    67 -- 74Noboru Endou. Fubini's Theorem
    75 -- 85Roland Coghetto, Adam Grabowski. Tarski Geometry Axioms. Part IV - Right Angle
    87 -- 91Hiroyuki Okazaki, Koh-ichi Nagao, Yuichi Futa. Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm
    runs on