Integrability of Multivariable Continuous Functions
Endou, Noboru, Shidama, Yasunari
Operations of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari
Bidual Spaces and Reflexivity of Real Normed Spaces
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Preface
Grabowski, Adam, Shidama, Yasunari
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
Ishida, Kazuhisa, Shidama, Yasunari
Uniform Boundedness Principle
Sakurai, Hideki, Kunimune, Hisayoshi, Shidama, Yasunari
Random Variables and Product of Probability Spaces
Okazaki, Hiroyuki, Shidama, Yasunari
Formalization of the Data Encryption Standard
Okazaki, Hiroyuki, Shidama, Yasunari
On L1 Space Formed by Real-Valued Partial Functions
Watase, Yasushige, Endou, Noboru, Shidama, Yasunari
Equivalent Expressions of Direct Sum Decomposition of Groups1
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Yamazaki, Hiroshi, Shidama, Yasunari
Probability on Finite Set and Real-Valued Random Variables
Okazaki, Hiroyuki, Shidama, Yasunari