External Links

    Journal: Formalized Mathematics

    Volume 25, Issue 4

    249 -- 259Christoph Schwarzweller. Formally Real Fields
    261 -- 268Peter Jaeger. Introduction to Stopping Time in Stochastic Finance Theory. Part II
    269 -- 281Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama. Implicit Function Theorem. Part I
    283 -- 288Yasushige Watase. Introduction to Diophantine Approximation. Part II
    289 -- 313Roland Coghetto, Adam Grabowski. Tarski Geometry Axioms. Part III
    315 -- 322Karol Pak. The Matiyasevich Theorem. Preliminaries

    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

    Volume 25, Issue 2

    87 -- 92Artur Kornilowicz, Karol Pak. Vieta's Formula about the Sum of Roots of Polynomials
    93 -- 100Adam Grabowski. Basic Formal Properties of Triangular Norms and Conorms
    101 -- 105Peter Jaeger. Introduction to Stopping Time in Stochastic Finance Theory
    107 -- 119Roland Coghetto. Pascal's Theorem in Real Projective Plane
    121 -- 139Sebastian Koch. About Quotient Orders and Ordering Sequences
    141 -- 147Artur Kornilowicz, Karol Pak. Basel Problem - Preliminaries
    149 -- 155Karol Pak, Artur Kornilowicz. Basel Problem
    157 -- 169Yuichi Futa, Yasunari Shidama. Dual Lattice of ℤ-module Lattice

    Volume 25, Issue 1

    1 -- 0Noboru Endou. Fubini's Theorem on Measure
    31 -- 0Artur Kornilowicz. Differentiability of Polynomials over Reals
    39 -- 0Adam Grabowski, Artur Kornilowicz. Introduction to Liouville Numbers
    49 -- 0Artur Kornilowicz, Adam Naumowicz, Adam Grabowski. All Liouville Numbers are Transcendental
    55 -- 0Roland Coghetto. Group of Homography in Real Projective Plane
    63 -- 0Christoph Schwarzweller. Ordered Rings and Fields
    73 -- 0Yuichi Futa, Yasunari Shidama. Embedded Lattice and Properties of Gram Matrix
    runs on