Open Mapping Theorem
Sakurai, Hideki, Kunimune, Hisayoshi, 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
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
Ascoli-Arzelà Theorem
Yamazaki, Hiroshi, Miyajima, Keiichi, Shidama, Yasunari
Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari
Introduction to Matroids
Bancerek, Grzegorz, Shidama, Yasunari