Have a personal or library account? Click to login

Showing 121-123 of 123 for the term ""Shidama, Yasunari""

Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Article

Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

Inoué, Takao, Endou, Noboru, Shidama, Yasunari
Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Article

Finite Dimensional Real Normed Spaces are Proper Metric Spaces

Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari
Formalization of Integral Linear Space
Article

Formalization of Integral Linear Space

Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari