External Links

    Journal: Formalized Mathematics

    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)
    runs on