Hopf Extension Theorem of Measure
Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari
Complex Integral
Yamazaki, Masahiko, Yamazaki, Hiroshi, Shidama, Yasunari, Wasaki, Katsumi
Differentiable Functions into Real Normed Spaces
Okazaki, Hiroyuki, Endou, Noboru, Narita, Keiko, Shidama, Yasunari
Integrability and the Integral of Partial Functions from R into R1
Endou, Noboru, Shidama, Yasunari, Yamazaki, Masahiko
Formulation of Cell Petri Nets
Jitsukawa, Mitsuru, Kawamoto, Pauline N., Shidama, Yasunari
Riemann Integral of Functions from ℝ into Real Banach Space
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Gaussian Integers
Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari
Probability on Finite Set and Real-Valued Random Variables
Okazaki, Hiroyuki, Shidama, Yasunari
Model Checking. Part III
Ishida, Kazuhisa, Shidama, Yasunari
The Measurability of Complex-Valued Functional Sequences
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Isometric Differentiable Functions on Real Normed Space
Futa, Yuichi, Endou, Noboru, Shidama, Yasunari
Open Mapping Theorem
Sakurai, Hideki, Kunimune, Hisayoshi, Shidama, Yasunari