Differentiation in normed spaces (Q467779)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Differentiation in normed spaces |
scientific article |
Statements
Differentiation in normed spaces (English)
0 references
5 November 2014
0 references
formalization of Fréchet derivative
0 references
Fréchet differentiability
0 references
