The Differentiable Functions from R into Rn

DOI10.2478/V10037-012-0009-XzbMath1276.26034OpenAlexW2078145996MaRDI QIDQ2865763

Keiko Narita, Artur Korniłowicz, Yasunari Shidama

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-012-0009-x

Mathematics Subject Classification ID

Control/observation systems governed by partial differential equations (93C20) Continuity and differentiation questions (26B05)

Related Items (1)

Differential equations on functions from \(\mathbb R\) into real Banach space

Cites Work

• Semantics of MML Query - Ordering
• Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
• More on Continuous Functions on Normed Linear Spaces
• Differentiable Functions into Real Normed Spaces
• More on the Continuity of Real Functions

This page was built for publication: The Differentiable Functions from R into Rn