The Basic Existence Theorem of Riemann-Stieltjes Integral
Nakasho, Kazuhisa, Narita, Keiko, 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
Operations of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari
The Ck Space
Kanazashi, Katuhiko, 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
Functional Space C(ω), C0(ω)
Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari
Integral of Complex-Valued Measurable Function
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko