Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Inoué, Takao, Endou, Noboru, Shidama, Yasunari
The Product Space of Real Normed Spaces and its Properties
Endou, Noboru, Shidama, Yasunari, Miyajima, Keiichi
Double Sequences and Limits
Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari
Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables
Okazaki, Hiroyuki, Shidama, Yasunari
Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Real Vector Space and Related Notions
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari
Ascoli-Arzelà Theorem
Yamazaki, Hiroshi, Miyajima, Keiichi, Shidama, Yasunari
Cell Petri Net Concepts
Jitsukawa, Mitsuru, Kawamoto, Pauline, Shidama, Yasunari, Nakamura, Yatsuka
Formalization of the Data Encryption Standard
Okazaki, Hiroyuki, Shidama, Yasunari
On Implicit and Inverse Function Theorems on Euclidean Spaces
Nakasho, Kazuhisa, Shidama, Yasunari
Riemann-Stieltjes Integral
Narita, Keiko, Nakasho, Kazuhisa, Shidama, Yasunari
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support
Kanazashi, Katuhiko, Endou, Noboru, Shidama, Yasunari