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
Formalization of Integral Linear Space
Article

Formalization of Integral Linear Space

Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
Double Sequences and Limits
Article

Double Sequences and Limits

Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari