In this article, we formalize differentiability of functions on normed linear spaces. Partial derivative, mean value theorem for vector-valued functions, continuous differentiability, etc. are formalized. As it is well known, there is no exact analog of the mean value theorem for vector-valued functions. However a certain type of generalization of the mean value theorem for vectorvalued functio...

using the mean-value theorem for integrals we tried to solved the nonlinear integral equations of hammerstein type . the mean approach is to obtain an initial guess with unknown coefficients for unknown function y(x). the procedure of this method is so fast and don't need high cpu and complicated programming. the advantages of this method are that we can applied for those integral equation...