External Links

    Journal: Formalized Mathematics

    Volume 29, Issue 4

    153 -- 159Wojciech Kusmierowski, Adam Grabowski. Automatization of Ternary Boolean Algebras
    161 -- 173Roland Coghetto. Duality Notions in Real Projective Plane
    175 -- 184Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama. Finite Dimensional Real Normed Spaces are Proper Metric Spaces
    185 -- 199Noboru Endou. Relationship between the Riemann and Lebesgue Integrals
    201 -- 220Noboru Endou. Improper Integral. Part I
    221 -- 228Karol Pak. Prime Representing Polynomial
    229 -- 240Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller. Quadratic Extensions
    241 -- 248Hiroyuki Okazaki, Kazuhisa Nakasho. The 3-Fold Product Space of Real Normed Spaces and its Properties
    249 -- 278Sebastian Koch. About Graph Sums
    279 -- 294Noboru Endou. Improper Integral. Part II
    runs on