External Links

    Journal: Formalized Mathematics

    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