External Links

    Journal: Formalized Mathematics

    Volume 21, Issue 4

    235 -- 239Maciej Golinski, Artur Kornilowicz. Coproducts in Categories without Uniqueness of cod and dom
    241 -- 247Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama. Formulation of Cell Petri Nets
    249 -- 260Yuichi Futa, Noboru Endou, Yasunari Shidama. Isometric Differentiable Functions on Real Normed Space
    261 -- 272Keiko Narita, Noboru Endou, Yasunari Shidama. Differential Equations on Functions from R into Real Banach Space
    273 -- 282Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Submodule of free Z-module
    runs on