Model Checking. Part III
Ishida, Kazuhisa, Shidama, Yasunari
The Measurability of Complex-Valued Functional Sequences
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Introduction to Matroids
Bancerek, Grzegorz, Shidama, Yasunari
Contracting Mapping on Normed Linear Space
Miyajima, Keiichi, Korniłowicz, Artur, Shidama, Yasunari
Operations of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari
Functional Space Consisted by Continuous Functions on Topological Space
Yamazaki, Hiroshi, Miyajima, Keiichi, Shidama, Yasunari
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Integrability of Multivariable Continuous Functions
Endou, Noboru, Shidama, Yasunari
Riemann Indefinite Integral of Functions of Real Variable
Shidama, Yasunari, Endou, Noboru, Wasaki, Katsumi
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support
Kanazashi, Katuhiko, Endou, Noboru, Shidama, Yasunari
Complex Function Differentiability
Pacharapokin, Chanapat, Yamazaki, Hiroshi, Shidama, Yasunari, Nakamura, Yatsuka