Baire's Category Theorem and Some Spaces Generated from Real Normed Space1
Endou, Noboru, Shidama, Yasunari, Okamura, Katsumasa
Complex Integral
Yamazaki, Masahiko, Yamazaki, Hiroshi, Shidama, Yasunari, Wasaki, Katsumi
Isomorphisms of Direct Products of Finite Cyclic Groups
Arai, Kenichi, Okazaki, Hiroyuki, Shidama, Yasunari
The Basic Existence Theorem of Riemann-Stieltjes Integral
Nakasho, Kazuhisa, Narita, Keiko, Shidama, Yasunari
Formalization of the Data Encryption Standard
Okazaki, Hiroyuki, Shidama, Yasunari
Convex Sets and Convex Combinations on Complex Linear Spaces
Matsuzaki, Hidenori, Endou, Noboru, Shidama, Yasunari
The Cauchy-Riemann Differential Equations of Complex Functions
Yamazaki, Hiroshi, Shidama, Yasunari, Nakamura, Yatsuka, Pacharapokin, Chanapat
Integral of Continuous Functions of Two Variables
Endou, Noboru, Shidama, Yasunari
Probability on Finite Set and Real-Valued Random Variables
Okazaki, Hiroyuki, Shidama, Yasunari
Functional Space Consisted by Continuous Functions on Topological Space
Yamazaki, Hiroshi, Miyajima, Keiichi, Shidama, Yasunari
Integrability and the Integral of Partial Functions from R into R1
Endou, Noboru, Shidama, Yasunari, Yamazaki, Masahiko
On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality
Nakasho, Kazuhisa, Shidama, Yasunari