External Links

    Journal: Formalized Mathematics

    Volume 31, Issue 1

    1 -- 8Yasushige Watase. On Bag of 1. Part I
    9 -- 21Noboru Endou. Differentiation on Interval
    23 -- 29Artur Kornilowicz. Elementary Number Theory Problems. Part VII
    31 -- 52Sebastian Koch. Introduction to Graph Enumerations
    53 -- 57Hiroyuki Okazaki. On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors
    59 -- 66Takashi Mitsuishi. Isosceles Triangular and Isosceles Trapezoidal Membership Functions Using Centroid Method
    67 -- 73Yasushige Watase. Introduction to Algebraic Geometry
    75 -- 86Sebastian Koch. About Regular Graphs
    87 -- 100Artur Kornilowicz. Elementary Number Theory Problems. Part VIII
    101 -- 120Alexander M. Nelson. Internal Direct Products and the Universal Property of Direct Product Groups
    121 -- 130Christoph Schwarzweller. Normal Extensions
    131 -- 141Noboru Endou. Antiderivatives and Integration
    143 -- 150Yasushige Watase. Embedding Principle for Rings and Abelian Groups
    151 -- 159Adam Grabowski. On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
    161 -- 169Artur Kornilowicz. Elementary Number Theory Problems. Part IX
    171 -- 180Artur Kornilowicz. Elementary Number Theory Problems. Part X - Diophantine Equations
    181 -- 192Noboru Endou, Yasunari Shidama. Multidimensional Measure Space and Integration
    193 -- 203Karol Pak. Conway Numbers - Formal Introduction
    205 -- 213Karol Pak. Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers
    215 -- 228Karol Pak. The Ring of Conway Numbers in Mizar
    229 -- 275Adam Naumowicz. Elementary Number Theory Problems. Part XI
    277 -- 286Adam Grabowski. Elementary Number Theory Problems. Part XII - Primes in Arithmetic Progression
    287 -- 298Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller. Simple Extensions
    299 -- 308Takashi Mitsuishi. Symmetrical Piecewise Linear Functions Composed by Absolute Value Function
    309 -- 324Noboru Endou, Yasunari Shidama. Integral of Continuous Functions of Two Variables
    325 -- 339Roland Coghetto, Adam Grabowski. Tarski Geometry Axioms. Part V - Half-planes and Planes
    341 -- 352Christoph Schwarzweller. Extensions of Orderings
    runs on