The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “À la recherche de la preuve perdue: a simple proof of the Ficken theorem”

Differentiation in Normed Spaces

Noboru Endou, Yasunari Shidama (2013)

Formalized Mathematics

Similarity:

In this article we formalized the Fréchet differentiation. It is defined as a generalization of the differentiation of a real-valued function of a single real variable to more general functions whose domain and range are subsets of normed spaces [14].