The Real Vector Spaces of Finite Sequences are Finite Dimensional
Nakamura, Yatsuka, Korniłowicz, Artur, Oya, Nagato, Shidama, Yasunari
Set of Points on Elliptic Curve in Projective Coordinates
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Isomorphisms of Direct Products of Finite Cyclic Groups
Arai, Kenichi, Okazaki, Hiroyuki, Shidama, Yasunari
Z-modules
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Compactness in Metric Spaces
Nakasho, Kazuhisa, Narita, Keiko, Shidama, Yasunari
Continuity of Multilinear Operator on Normed Linear Spaces
Nakasho, Kazuhisa, Shidama, Yasunari
Fatou's Lemma and the Lebesgue's Convergence Theorem
Endou, Noboru, Narita, Keiko, Shidama, Yasunari
Formalization of Integral Linear Space
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support
Kanazashi, Katuhiko, Endou, Noboru, Shidama, Yasunari
The Basic Existence Theorem of Riemann-Stieltjes Integral
Nakasho, Kazuhisa, Narita, Keiko, Shidama, Yasunari
Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari
Integrability of Multivariable Continuous Functions
Endou, Noboru, Shidama, Yasunari