Divisible ℤ-modules
Futa, Yuichi, Shidama, Yasunari
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
Ishida, Kazuhisa, Shidama, Yasunari
Preface
Grabowski, Adam, Shidama, Yasunari
The Orthogonal Projection and the Riesz Representation Theorem
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Multidimensional Measure Space and Integration
Endou, Noboru, Shidama, Yasunari
Integral of Continuous Three Variable Functions
Endou, Noboru, Shidama, Yasunari
Dual Spaces and Hahn-Banach Theorem
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform
Yamazaki, Masahiko, Yamazaki, Hiroshi, Shidama, Yasunari
Model Checking. Part III
Ishida, Kazuhisa, Shidama, Yasunari
Integral of Complex-Valued Measurable Function
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Open Mapping Theorem
Sakurai, Hideki, Kunimune, Hisayoshi, Shidama, Yasunari
Isometric Differentiable Functions on Real Normed Space
Futa, Yuichi, Endou, Noboru, Shidama, Yasunari