External Links

    Journal: Formalized Mathematics

    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