Differentiation in normed spaces

DOI10.2478/FORMA-2013-0011MaRDI QIDQ467779zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Fréchet differentiabilityformalization of Fréchet derivative

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Differentiation theory (Gateaux, Fréchet, etc.) on manifolds (58C20)

Recommendations

• Higher-order partial differentiation
• Differentiable functions on normed linear spaces
• scientific article; zbMATH DE number 3921270
• Differentiation in abstract spaces
• The \(d\)-uniform differentiability in Fréchet spaces

Cites work

• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Analysis of algorithms: an example of a sort algorithm

Cited in

(20)

• Partial differentiation, differentiation and continuity on \(n\)-dimensional real normed linear spaces
• Differentiation of inverse functions in spaces without norm.
• Norms supporting the Lebesgue differentiation theorem
• Calculus on normed vector spaces
• scientific article; zbMATH DE number 1215059 (Why is no real title available?)
• A chart preserving the normal vector and extensions of normal derivatives in weighted function spaces
• The product rule for Fréchet derivatives
• Introduce Gâteaux and Fréchet derivatives in Riesz spaces
• scientific article; zbMATH DE number 3921270 (Why is no real title available?)
• Differentiability of polynomials over reals
• Higher-order partial differentiation
• Frechet vs. Caratheodory
• Differentiability of the Norm in Von Neumann Algebras
• Supremum norm differentiability
• Differentiable functions on normed linear spaces
• On the zero differential in normal spaces
• scientific article; zbMATH DE number 7548550 (Why is no real title available?)
• Note on the applications of the Fréchet derivative
• Normalization of indexed differentials based on function distance invariants
• Differentiation on interval

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)