W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/19656| Tytuł: | Higher Order Partial Differentiable Functions |
| Autorzy: | Nakasho, Kazuhisa Shidama, Yasunari |
| Słowa kluczowe: | partial differentiation higher-order derivative continuously differentiable function |
| Data wydania: | 2025 |
| Data dodania: | 26-sty-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 33, Issue 1, Pages 103-115 |
| Abstrakt: | 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. |
| Afiliacja: | Kazuhisa Nakasho - Yamaguchi University, Yamaguchi, Japan Yasunari Shidama - Karuizawa Hotch 244-1, Nagano, Japan |
| URI: | http://hdl.handle.net/11320/19656 |
| DOI: | 10.2478/forma-2025-0009 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| metadata.dc.identifier.orcid: | 0000-0003-1110-4342 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/4.0/ |
| Właściciel praw: | 2025 The Author(s) CC BY-SA 4.0 license |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2025, Volume 33, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Higher_Order_Partial_Differentiable_Functions.pdf | 268,11 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
