External Links

    Journal: Formalized Mathematics

    Volume 28, Issue 4

    263 -- 268Hiroshi Yamazaki. Functional Sequence in Norm Space
    269 -- 278Adrian Jaszczak. General Theory and Tools for Proving Algorithms in Nominative Data Systems
    279 -- 288Adrian Jaszczak. Partial Correctness of an Algorithm Computing Lucas Sequences

    Volume 28, Issue 3

    227 -- 237Roland Coghetto. A Case Study of Transporting Urysohn's Lemma from Topology via Open Sets into Topology via Neighborhoods
    239 -- 249Sebastian Koch. Extended Natural Numbers and Counters
    251 -- 261Christoph Schwarzweller. Ring and Field Adjunctions, Algebraic Elements and Minimal Polynomials

    Volume 28, Issue 2

    129 -- 135Christoph Schwarzweller. Renamings and a Condition-free Formalization of Kronecker's Construction
    137 -- 154Sebastian Koch. Refined Finiteness and Degree Properties in Graphs
    155 -- 171Sebastian Koch. About Graph Unions and Intersections
    173 -- 186Sebastian Koch. Unification of Graphs and Relations in Mizar
    187 -- 196Artur Kornilowicz. Partial Correctness of a Fibonacci Algorithm
    197 -- 210Rafal Ziobro. Multiplication-Related Classes of Complex Numbers
    211 -- 215Karol Pak. Grothendieck Universes
    217 -- 225Dominik Kulesza, Adam Grabowski. Formalization of Quasilattices

    Volume 28, Issue 1

    1 -- 7Roland Coghetto. Klein-Beltrami model. Part III
    9 -- 21Roland Coghetto. Klein-Beltrami model. Part IV
    23 -- 39Sebastian Koch. Miscellaneous Graph Preliminaries
    41 -- 63Sebastian Koch. About Graph Complements
    65 -- 77Katsumi Wasaki. Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I
    79 -- 87Yasushige Watase. Rings of Fractions and Localization
    89 -- 92Hiroshi Fujiwara, Hokuto Watari, Hiroaki Yamamoto. Dynamic Programming for the Subset Sum Problem
    93 -- 104Noboru Endou. Reconstruction of the One-Dimensional Lebesgue Measure
    105 -- 113Adam Grabowski. Developing Complementary Rough Inclusion Functions
    115 -- 120Adam Naumowicz. Elementary Number Theory Problems. Part I
    121 -- 128Adam Grabowski. On Fuzzy Negations Generated by Fuzzy Implications
    runs on