Differentiation in normed spaces
From MaRDI portal
Publication:467779
DOI10.2478/FORMA-2013-0011zbMATH Open1298.58009OpenAlexW2012503895MaRDI QIDQ467779FDOQ467779
Authors: Noboru Endou, Yasunari Shidama
Publication date: 5 November 2014
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2013-0011
Recommendations
Mechanization of proofs and logical operations (03B35) Differentiation theory (Gateaux, Fréchet, etc.) on manifolds (58C20)
Cites Work
Cited In (19)
- The product rule for Fréchet derivatives
- Introduce Gâteaux and Fréchet derivatives in Riesz spaces
- Title not available (Why is that?)
- Differentiable functions on normed linear spaces
- Calculus on normed vector spaces
- Differentiability of the Norm in Von Neumann Algebras
- Differentiability of polynomials over reals
- Norms supporting the Lebesgue differentiation theorem
- Higher-order partial differentiation
- Title not available (Why is that?)
- On the zero differential in normal spaces
- A chart preserving the normal vector and extensions of normal derivatives in weighted function spaces
- Frechet vs. Caratheodory
- Supremum norm differentiability
- Title not available (Why is that?)
- Normalization of indexed differentials based on function distance invariants
- Partial differentiation, differentiation and continuity on \(n\)-dimensional real normed linear spaces
- Differentiation of inverse functions in spaces without norm.
- Note on the applications of the Fréchet derivative
This page was built for publication: Differentiation in normed spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q467779)