Open Mapping Theorem
Sakurai, Hideki, Kunimune, Hisayoshi, Shidama, Yasunari
Probability on Finite Set and Real-Valued Random Variables
Okazaki, Hiroyuki, Shidama, Yasunari
Multidimensional Measure Space and Integration
Endou, Noboru, Shidama, Yasunari
Riemann Integral of Functions from R into Rn
Miyajima, Keiichi, Shidama, Yasunari
On L1 Space Formed by Complex-Valued Partial Functions
Watase, Yasushige, Endou, Noboru, Shidama, Yasunari
The Measurability of Complex-Valued Functional Sequences
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Integral of Real-Valued Measurable Function1
Shidama, Yasunari, Endou, Noboru
Higher Order Partial Differentiable Functions
Nakasho, Kazuhisa, Shidama, Yasunari
Integrability of Multivariable Continuous Functions
Endou, Noboru, Shidama, Yasunari
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
Ishida, Kazuhisa, Shidama, Yasunari
Integral of Measurable Function1
Endou, Noboru, Shidama, Yasunari
Formalization of Integral Linear Space
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari