Model Checking. Part III
Ishida, Kazuhisa, Shidama, Yasunari
On L1 Space Formed by Real-Valued Partial Functions
Watase, Yasushige, Endou, Noboru, Shidama, Yasunari
Introduction to Matroids
Bancerek, Grzegorz, Shidama, Yasunari
Hopf Extension Theorem of Measure
Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari
Complex Function Differentiability
Pacharapokin, Chanapat, Yamazaki, Hiroshi, Shidama, Yasunari, Nakamura, Yatsuka
Riemann Integral of Functions R into C
Miyajima, Keiichi, Kato, Takahiro, Shidama, Yasunari
Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces
Inoué, Takao, Naumowicz, Adam, Endou, Noboru, Shidama, Yasunari
Operations of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, Shidama, Yasunari
Differentiable Functions on Normed Linear Spaces
Shidama, Yasunari
Dual Spaces and Hahn-Banach Theorem
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
σ-ring and σ-algebra of Sets1
Endou, Noboru, Nakasho, Kazuhisa, Shidama, Yasunari