共 50 条
- [5] Differentiable Functions on Normed Linear Spaces FORMALIZED MATHEMATICS, 2012, 20 (01): : 31 - 40
- [8] ON LINEAR FUNCTIONAL EQUATIONS AND COMPLETENESS OF NORMED SPACES BANACH JOURNAL OF MATHEMATICAL ANALYSIS, 2013, 7 (01): : 196 - 200
- [10] More on Continuous Functions on Normed Linear Spaces FORMALIZED MATHEMATICS, 2011, 19 (01): : 45 - 49