External Links

    Journal: Formalized Mathematics

    Volume 26, Issue 4

    239 -- 269Roland Coghetto. Pythagorean Tuning: Pentatonic and Heptatonic Scale
    271 -- 276Adam Grabowski. Fundamental Properties of Fuzzy Implications
    277 -- 283Yasushige Watase. Zariski Topology
    runs on