Higher-Order Partial Differentiation
In this article, we shall extend the formalization of [10] to discuss higher-order partial differentiation of real valued functions. The linearity of this operator is also proved (refer to [10], [12] and [13] for partial differentiation).
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2012-12-01
|
| Series: | Formalized Mathematics |
| Online Access: | https://doi.org/10.2478/v10037-012-0015-z |
| id |
doaj-7cd3d8cb07dc41abb1aba0649a336012 |
|---|---|
| record_format |
Article |
| spelling |
doaj-7cd3d8cb07dc41abb1aba0649a3360122021-09-05T18:16:48ZengSciendoFormalized Mathematics1426-26301898-99342012-12-0120211312410.2478/v10037-012-0015-zHigher-Order Partial DifferentiationEndou Noboru0Okazaki Hiroyuki1Shidama Yasunari2Nagano National College of Technology, JapanShinshu University, Nagano, JapanShinshu University, Nagano, JapanIn this article, we shall extend the formalization of [10] to discuss higher-order partial differentiation of real valued functions. The linearity of this operator is also proved (refer to [10], [12] and [13] for partial differentiation).https://doi.org/10.2478/v10037-012-0015-z |
| collection |
DOAJ |
| language |
English |
| format |
Article |
| sources |
DOAJ |
| author |
Endou Noboru Okazaki Hiroyuki Shidama Yasunari |
| spellingShingle |
Endou Noboru Okazaki Hiroyuki Shidama Yasunari Higher-Order Partial Differentiation Formalized Mathematics |
| author_facet |
Endou Noboru Okazaki Hiroyuki Shidama Yasunari |
| author_sort |
Endou Noboru |
| title |
Higher-Order Partial Differentiation |
| title_short |
Higher-Order Partial Differentiation |
| title_full |
Higher-Order Partial Differentiation |
| title_fullStr |
Higher-Order Partial Differentiation |
| title_full_unstemmed |
Higher-Order Partial Differentiation |
| title_sort |
higher-order partial differentiation |
| publisher |
Sciendo |
| series |
Formalized Mathematics |
| issn |
1426-2630 1898-9934 |
| publishDate |
2012-12-01 |
| description |
In this article, we shall extend the formalization of [10] to discuss higher-order partial differentiation of real valued functions. The linearity of this operator is also proved (refer to [10], [12] and [13] for partial differentiation). |
| url |
https://doi.org/10.2478/v10037-012-0015-z |
| work_keys_str_mv |
AT endounoboru higherorderpartialdifferentiation AT okazakihiroyuki higherorderpartialdifferentiation AT shidamayasunari higherorderpartialdifferentiation |
| _version_ |
1717786061264912384 |