External Links

    Journal: Formalized Mathematics

    Volume 25, Issue 3

    171 -- 178Yuichi Futa, Yasunari Shidama. Isomorphism Theorem on Vector Spaces over a Ring
    179 -- 184Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama. F. Riesz Theorem
    185 -- 195Christoph Schwarzweller. On Roots of Polynomials and Algebraically Closed Fields
    197 -- 204Marcin Acewicz, Karol Pak. Pell's Equation
    205 -- 216Ievgen Ivanov, Mykola Nikitchenko, Andrii Kryvolap, Artur Kornilowicz. Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations
    217 -- 225Roland Coghetto. Gauge Integral
    227 -- 240Noboru Endou. Integral of Non Positive Functions
    241 -- 248Adam Grabowski. Formal Introduction to Fuzzy Implications
    runs on