Multidimensional Measure Space and Integration
Endou, Noboru, Shidama, Yasunari
Integral of Continuous Functions of Two Variables
Endou, Noboru, Shidama, Yasunari
Formalization of Integral Linear Space
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari