Higher-order partial differentiation

DOI10.2478/V10037-012-0015-ZzbMATH Open1281.46024OpenAlexW2085087219MaRDI QIDQ2852148FDOQ2852148

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

Recommendations

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

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)

Cites Work

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

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
• Title not available (Why is that?)
• 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)