Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
Set of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Lebesgue's Convergence Theorem of Complex-Valued Function
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Formulation of Cell Petri Nets
Jitsukawa, Mitsuru, Kawamoto, Pauline N., Shidama, Yasunari
Higher-Order Partial Differentiation
Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari
Riemann Integral of Functions from R into Real Normed Space
Miyajima, Keiichi, Kato, Takahiro, Shidama, Yasunari
Differentiation in Normed Spaces
Endou, Noboru, Shidama, Yasunari
Implicit Function Theorem. Part II
Nakasho, Kazuhisa, Shidama, Yasunari
Integral of Continuous Three Variable Functions
Endou, Noboru, Shidama, Yasunari
Multidimensional Measure Space and Integration
Endou, Noboru, Shidama, Yasunari
The Orthogonal Projection and the Riesz Representation Theorem
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Divisible ℤ-modules
Futa, Yuichi, Shidama, Yasunari