Introduction to Matroids
Bancerek, Grzegorz, Shidama, Yasunari
Convex Sets and Convex Combinations on Complex Linear Spaces
Matsuzaki, Hidenori, Endou, Noboru, Shidama, Yasunari
Measure for Product Space of Real Normed Spaces
Endou, Noboru, Shidama, Yasunari
Riemann Integral of Functions R into C
Miyajima, Keiichi, Kato, Takahiro, Shidama, Yasunari
Matrix of ℤ-module1
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Partial Differentiation on Normed Linear Spaces Rn
Endou, Noboru, Shidama, Yasunari, Miyajima, Keiichi
Ascoli-Arzelà Theorem
Yamazaki, Hiroshi, Miyajima, Keiichi, Shidama, Yasunari
The Basic Existence Theorem of Riemann-Stieltjes Integral
Nakasho, Kazuhisa, Narita, Keiko, Shidama, Yasunari
Equivalent Expressions of Direct Sum Decomposition of Groups1
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Yamazaki, Hiroshi, Shidama, Yasunari
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Inoué, Takao, Naumowicz, Adam, Endou, Noboru, Shidama, Yasunari
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support
Kanazashi, Katuhiko, Endou, Noboru, Shidama, Yasunari
Formalization of Integral Linear Space
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari