Higher order partial differentiable functions

DOI10.2478/FORMA-2025-0009MaRDI QIDQ6840587zbMATH OpenFDO

Authors Kazuhisa Nakasho, Yasunari Shidama

Publication date 23 March 2026

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.2478/FORMA-2025-0009

zbMATH Keywords

continuously differentiable functionhigher-order derivativepartial differentiation

Mathematics Subject Classification ID

Lipschitz (Hölder) classes (26A16) Continuity and differentiation questions (26B05) Derivatives of functions in infinite-dimensional spaces (46G05) Formalization of mathematics in connection with theorem provers (68V20)

Cites work

• Differentiable functions on normed linear spaces
• Differentiation in normed spaces
• Four decades of \textsc{Mizar}. Foreword
• Higher-order differentiation and inverse function theorem in real normed spaces
• scientific article; zbMATH DE number 5850143 (Why is no real title available?)
• scientific article; zbMATH DE number 3137662 (Why is no real title available?)
• scientific article; zbMATH DE number 3678487 (Why is no real title available?)
• scientific article; zbMATH DE number 1199721 (Why is no real title available?)

This page was built for publication: Higher order partial differentiable functions

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