Integral of Real-Valued Measurable Function1
Shidama, Yasunari, Endou, Noboru
More on Continuous Functions on Normed Linear Spaces
Okazaki, Hiroyuki, Endou, Noboru, Shidama, Yasunari
Formalization of Integral Linear Space
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Double Sequences and Limits
Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari
Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces
Nakasho, Kazuhisa, Shidama, Yasunari
Integral of Continuous Functions of Two Variables
Endou, Noboru, Shidama, Yasunari
Multidimensional Measure Space and Integration
Endou, Noboru, Shidama, Yasunari
Real Vector Space and Related Notions
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari
The Basic Existence Theorem of Riemann-Stieltjes Integral
Nakasho, Kazuhisa, Narita, Keiko, Shidama, Yasunari
Convex Sets and Convex Combinations on Complex Linear Spaces
Matsuzaki, Hidenori, Endou, Noboru, Shidama, Yasunari
Submodule of free Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Banach Algebra of Bounded Complex-Valued Functionals
Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari