Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

DOI10.2478/v10037-011-0001-xzbMath1276.26033OpenAlexW4232948897MaRDI QIDQ2865721

Takao Inoue, Yasunari Shidama, Noboru Endou, Adam Naumowicz

Publication date: 3 December 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/v10037-011-0001-x

Mathematics Subject Classification ID

Continuity and differentiation questions (26B05)

Related Items (3)

Higher-Order Partial Differentiation ⋮ The Ck Space ⋮ The Differentiable Functions from R into Rn

Cites Work

• Unnamed Item
• Semantics of MML Query - Ordering
• Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces

This page was built for publication: Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces