Higher-Order Partial Differentiation

被引：1

作者：

Endou, Noboru ^{[1
]}

Okazaki, Hiroyuki ^{[2
]}

Shidama, Yasunari ^{[2
]}

机构：

[1] Nagano Natl Coll Technol, Nagano, Japan

[2] Shinshu Univ, Nagano, Japan

来源：

FORMALIZED MATHEMATICS | 2012年 / 20卷 / 02期

关键词：

D O I：

10.2478/v10037-012-0015-z

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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).

引用

页码：113 / 124

页数：12

共 50 条

[41] Intersection numbers from higher-order partial differential equations
Chestnov, Vsevolod
Frellesvig, Hjalte
Gasparotto, Federico
Mandal, Manoj K.
Mastrolia, Pierpaolo
JOURNAL OF HIGH ENERGY PHYSICS, 2023, 2023 (06)
[42] On Ostrowski-Type Inequalities for Higher-Order Partial Derivatives
Zhao Changjian
Cheung, Wing-Sum
JOURNAL OF INEQUALITIES AND APPLICATIONS, 2010,
[43] HIGHER-ORDER OPTIMALITY CONDITIONS AND HIGHER-ORDER TANGENT SETS
Penot, Jean-Paul
SIAM JOURNAL ON OPTIMIZATION, 2017, 27 (04) : 2508 - 2527
[44] Typed higher-order narrowing without higher-order strategies
Antoy, S
Tolmach, A
FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 335 - 352
[45] Realization of a sign-distinguishable higher-order optical differentiation
Zhu, Junfan
Wang, An
Gao, Fuhua
Zhang, Zhiyou
PHYSICAL REVIEW A, 2022, 106 (02)
[46] A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Laurel, Jacob
Yang, Rem
Ugare, Shubham
Nagel, Robert
Singh, Gagandeep
Misailovic, Sasa
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
[47] Remodeling of keratinocyte higher-order chromatin organization during differentiation
Doran, T.
Altalli, Y.
Gdula, M. R.
JOURNAL OF INVESTIGATIVE DERMATOLOGY, 2023, 143 (05) : S150 - S150
[48] Perturbation confusion in forward automatic differentiation of higher-order functions
Manzyuk, Oleksandr
Pearlmutter, Barak A.
Radul, Alexey Andreyevich
Rush, David R.
Siskind, Jeffrey Mark
JOURNAL OF FUNCTIONAL PROGRAMMING, 2019, 29
[49] Higher-order wavelet reconstruction/differentiation filters and Gibbs phenomena
Lombardini, Richard
Acevedo, Ramiro
Kuczala, Alexander
Keys, Kerry P.
Goodrich, Carl P.
Johnson, Bruce R.
JOURNAL OF COMPUTATIONAL PHYSICS, 2016, 305 : 244 - 262
[50] HIGHER-ORDER CONSERVATION-LAWS AND A HIGHER-ORDER NOETHERS THEOREM
CHEUNG, WS
ADVANCES IN APPLIED MATHEMATICS, 1987, 8 (04) : 446 - 485

← 1 2 3 4 5 →