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 条

[21] Partial Lattice Defects in Higher-Order Topological Insulators
Queiroz, Raquel
Fulga, Ion Cosma
Avraham, Nurit
Beidenkopf, Haim
Cano, Jennifer
PHYSICAL REVIEW LETTERS, 2019, 123 (26)
[22] Optimized higher-order automatic differentiation for the Faddeeva function
Charpentier, Isabelle
COMPUTER PHYSICS COMMUNICATIONS, 2016, 205 : 132 - 137
[23] Higher-order reverse automatic differentiation with emphasis on the third-order
R. M. Gower
A. L. Gower
Mathematical Programming, 2016, 155 : 81 - 103
[24] Higher-order reverse automatic differentiation with emphasis on the third-order
Gower, R. M.
Gower, A. L.
MATHEMATICAL PROGRAMMING, 2016, 155 (1-2) : 81 - 103
[25] Partial and Nested Recursive Function Definitions in Higher-order Logic
Alexander Krauss
Journal of Automated Reasoning, 2010, 44 : 303 - 336
[26] Higher-order stochastic partial differential equations with branching noises
Lijun Bo
Yongjin Wang
Liqing Yan
Frontiers of Mathematics in China, 2008, 3 : 15 - 35
[27] Intersection numbers from higher-order partial differential equations
Vsevolod Chestnov
Hjalte Frellesvig
Federico Gasparotto
Manoj K. Mandal
Pierpaolo Mastrolia
Journal of High Energy Physics, 2023
[28] Partial Dynamical Symmetry in Quantum Hamiltonians with Higher-Order Terms
Garcia-Ramos, J. E.
Leviatan, A.
Van Isacker, P.
PHYSICAL REVIEW LETTERS, 2009, 102 (11)
[29] ON THE EXISTENCE OF INITIAL MODELS FOR PARTIAL (HIGHER-ORDER) CONDITIONAL SPECIFICATIONS
ASTESIANO, E
CERIOLI, M
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 351 : 74 - 88
[30] Nonexistence results for higher-order evolution partial differential inequalities
Laptev, GG
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2003, 131 (02) : 415 - 423

← 1 2 3 4 5 →