共 50 条
- [24] Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces FORMALIZED MATHEMATICS, 2010, 18 (04): : 207 - 212
- [26] Finite Dimensional Real Normed Spaces are Proper Metric Spaces FORMALIZED MATHEMATICS, 2021, 29 (04): : 175 - 184
- [30] LINEAR OPERATORS IN PARTIALLY ORDERED NORMED VECTOR SPACES JOURNAL OF THE LONDON MATHEMATICAL SOCIETY, 1966, 41 (162P): : 323 - &