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

    Volume 29, Issue 3

    117 -- 127Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama. Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863
    129 -- 139Christoph Schwarzweller. Splitting Fields
    141 -- 151Hiroshi Fujiwara, Ryota Adachi, Hiroaki Yamamoto. Algorithm NextFit for the Bin Packing ProblemThis work was supported by JSPS KAKENHI Grant Numbers JP20K11689, JP20K11676, JP16K00033, JP17K00013, JP20K11808, and JP17K00183

    Volume 29, Issue 2

    69 -- 76Roland Coghetto. Pappus's Hexagon Theorem in Real Projective PlaneThis work has been supported by the "Centre autonome de formation et de recherche en mathématiques et sciences avec assistants de preuve" ASBL (non-profit organization). Enterprise number: 0777.779.751. Belgium
    77 -- 85Damian Sawicki, Adam Grabowski. On Weakly Associative Lattices and Near Lattices
    87 -- 94Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama. Ascoli-ArzelĂ  TheoremThis work was supported by JSPS KAKENHI Grant Numbers JP17K00182
    95 -- 101Yasushige Watase. On Primary Ideals. Part I
    103 -- 115Takashi Mitsuishi. Some Properties of Membership Functions Composed of Triangle Functions and Piecewise Linear FunctionsThis work has been partially supported in 2019-2020 by the domestic research grant of University of Marketing and Distribution Sciences in Kobe (Japan)

    Volume 29, Issue 1

    1 -- 8Yasushige Watase. Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation
    9 -- 19Kazuhisa Nakasho, Yuichi Futa. Inverse Function Theorem. Part I1
    21 -- 38Sebastian Koch. Miscellaneous Graph Preliminaries. Part I
    39 -- 47Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller. Algebraic Extensions
    49 -- 62Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama. Functional Space Consisted by Continuous Functions on Topological Space
    63 -- 68Artur Kornilowicz, Dariusz Surowik. Elementary Number Theory Problems. Part II
    runs on