Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module
Nakasho, Kazuhisa, Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Riemann Integral of Functions from R into Rn
Miyajima, Keiichi, Shidama, Yasunari
Cartesian Products of Family of Real Linear Spaces
Okazaki, Hiroyuki, Endou, Noboru, Shidama, Yasunari
Riemann Integral of Functions from R into n-dimensional Real Normed Space
Miyajima, Keiichi, Korniłowicz, Artur, 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
The Orthogonal Projection and the Riesz Representation Theorem
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces
Nakasho, Kazuhisa, Shidama, Yasunari
Model Checking. Part III
Ishida, Kazuhisa, Shidama, Yasunari
Probability on Finite Set and Real-Valued Random Variables
Okazaki, Hiroyuki, Shidama, Yasunari
Integral of Measurable Function1
Endou, Noboru, Shidama, Yasunari
Z-modules
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari