The Ck Space

DOI10.2478/FORMA-2013-0002zbMath1283.46016OpenAlexW2074999710MaRDI QIDQ2852179

Yasunari Shidama, Hiroyuki Okazaki, Katuhiko Kanazashi

Publication date: 8 October 2013

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

Full work available at URL: https://doi.org/10.2478/forma-2013-0002

Mathematics Subject Classification ID

Continuity and differentiation questions (26B05) Banach spaces of continuous, differentiable or analytic functions (46E15) Computability and recursion theory (03D99)

Cites Work

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

This page was built for publication: The Ck Space