External Links

    Journal: Formalized Mathematics

    Volume 24, Issue 1

    1 -- 16Peter Jaeger. Modelling Real World Using Stochastic Processes and Filtration
    17 -- 26Roland Coghetto. Circumcenter, Circumcircle and Centroid of a Triangle
    27 -- 36Roland Coghetto. Altitude, Orthocenter of a Triangle and Triangulation
    37 -- 47Yuichi Futa, Yasunari Shidama. Divisible ℤ-modules
    49 -- 68Yuichi Futa, Yasunari Shidama. Lattice of ℤ-module
    69 -- 79Noboru Endou. Product Pre-Measure
    81 -- 94Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama. Conservation Rules of Direct Sum Decomposition of Groups
    runs on