External Links

    Journal: Formalized Mathematics

    Volume 22, Issue 4

    277 -- 289Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama. Torsion Z-module and Torsion-free Z-module
    291 -- 301Artur Kornilowicz, Christoph Schwarzweller. The First Isomorphism Theorem and Other Properties of Rings
    303 -- 311Keiko Narita, Noboru Endou, Yasunari Shidama. Bidual Spaces and Reflexivity of Real Normed Spaces
    313 -- 319Roland Coghetto. Some Facts about Trigonometry and Euclidean Geometry
    321 -- 327Adam Grabowski. The Formal Construction of Fuzzy Numbers
    runs on