Higher-order partial differentiation

DOI10.2478/V10037-012-0015-ZMaRDI QIDQ2852148zbMATH OpenOpenAlexFDO

Authors Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama

Publication date 8 October 2013

Published in Formalized Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2478/v10037-012-0015-z

zbMATH Keywords

partial differentiation in normed linear spaces

Mathematics Subject Classification ID

General theory of partial differential operators (47F05) Normed linear spaces and Banach spaces; Banach lattices (46B99)

Recommendations

• Differentiation in normed spaces
• Differentiable functions on normed linear spaces
• Pair differentiation.
• Differentiation in abstract spaces
• scientific article; zbMATH DE number 3921270

Cites work

• More on the continuity of real functions
• Partial differentiation of vector-valued functions on \(n\)-dimensional real normed linear spaces

Cited in

(9)

• Differentiable functions on normed linear spaces
• Differentiation in normed spaces
• Differentiability of polynomials over reals
• Complex calculus via foundation theorems
• The \(C^k\) space
• A critical approach to total and partial derivatives
• A simple example for linear partial differential equations and its solution using the method of separation of variables
• scientific article; zbMATH DE number 1263641 (Why is no real title available?)
• Revised notation for partial derivatives

This page was built for publication: Higher-order partial differentiation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852148)