Differentiation in normed spaces

DOI10.2478/FORMA-2013-0011zbMath1298.58009OpenAlexW2012503895MaRDI QIDQ467779

Yasunari Shidama, Noboru Endou

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)

Cites Work

• Analysis of Algorithms: An Example of a Sort Algorithm
• Unnamed Item

This page was built for publication: Differentiation in normed spaces