Integral of Continuous Three Variable Functions
Endou, Noboru, Shidama, Yasunari
Multidimensional Measure Space and Integration
Endou, Noboru, Shidama, Yasunari
Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
Ishida, Kazuhisa, Shidama, Yasunari
Gaussian Integers
Futa, Yuichi, Okazaki, Hiroyuki, Mizushima, Daichi, 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
Functional Space C(ω), C0(ω)
Kanazashi, Katuhiko, Okazaki, Hiroyuki, Shidama, Yasunari
Lattice of ℤ-module
Futa, Yuichi, Shidama, Yasunari
Formalization of the Data Encryption Standard
Okazaki, Hiroyuki, Shidama, Yasunari