Year: 2025
Type: article
Abstract: Summary This article formalizes higher-order partial differentiable functions in Mizar: it introduces the concept of partial differentiation for functions between real normed spaces and develops the theory of partial derivatives of arbitrary order. Key results include properties of partial derivatives, their relationship with total derivatives, and criteria for the continuity of higher-order partial derivatives.
Source: Formalized Mathematics
Authors: Kazuhisa Nakasho, Yasunari Shidama
Institution: Yamaguchi University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W7119039277