External Links

    Journal: Formalized Mathematics

    Volume 26, Issue 1

    1 -- 9Peter Jaeger. Introduction to Stochastic Finance: Random Variables and Arbitrage Theory
    11 -- 20Artur Kornilowicz, Ievgen Ivanov, Mykola S. Nikitchenko. Kleene Algebra of Partial Predicates
    21 -- 32Roland Coghetto. Klein-Beltrami Model. Part I
    33 -- 48Roland Coghetto. Klein-Beltrami Model. Part II
    49 -- 67Noboru Endou. Fubini's Theorem for Non-Negative or Non-Positive Functions
    69 -- 79Adam Grabowski. Sequences of Prime Reciprocals. Preliminaries
    81 -- 90Karol Pak. Diophantine sets. Preliminaries
    runs on