Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support
Kanazashi, Katuhiko, Endou, Noboru, Shidama, Yasunari
The Basic Existence Theorem of Riemann-Stieltjes Integral
Nakasho, Kazuhisa, Narita, Keiko, Shidama, Yasunari
Integrability of Multivariable Continuous Functions
Endou, Noboru, Shidama, Yasunari
Complex Function Differentiability
Pacharapokin, Chanapat, Yamazaki, Hiroshi, Shidama, Yasunari, Nakamura, Yatsuka
Formalization of the Data Encryption Standard
Okazaki, Hiroyuki, Shidama, Yasunari
Equivalent Expressions of Direct Sum Decomposition of Groups1
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Yamazaki, Hiroshi, Shidama, Yasunari
Measure for Product Space of Real Normed Spaces
Endou, Noboru, Shidama, Yasunari
Contracting Mapping on Normed Linear Space
Miyajima, Keiichi, Korniłowicz, Artur, Shidama, Yasunari
Higher-Order Partial Differentiation
Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari
The First Mean Value Theorem for Integrals
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
The Cauchy-Riemann Differential Equations of Complex Functions
Yamazaki, Hiroshi, Shidama, Yasunari, Nakamura, Yatsuka, Pacharapokin, Chanapat
Uniform Boundedness Principle
Sakurai, Hideki, Kunimune, Hisayoshi, Shidama, Yasunari