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 条

[1] HIGHER-ORDER PARTIAL VELOCITIES IN HIGHER-ORDER NONLINEAR NONHOLONOMIC SYSTEMS
HE, YQ
INTERNATIONAL JOURNAL OF NON-LINEAR MECHANICS, 1991, 26 (05) : 455 - 459
[2] PARTIAL HIGHER-ORDER SPECIFICATIONS
ASTESIANO, E
CERIOLI, M
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 520 : 74 - 83
[3] GENERALIZED HIGHER-ORDER DIFFERENTIATION
BARNDORFFNIELSEN, OE
BLAESILD, P
MORA, M
ACTA APPLICANDAE MATHEMATICAE, 1989, 16 (03) : 243 - 259
[4] Higher-order rewriting and partial evaluation
Danvy, O
Rose, KH
REWRITING TECHNIQUES AND APPLICATIONS, 1998, 1379 : 286 - 301
[5] On higher-order differentiation in nonlinear mechanics
Charpentier, I.
OPTIMIZATION METHODS & SOFTWARE, 2012, 27 (02): : 221 - 232
[6] Partial recursive functions in Higher-Order Logic
Krauss, Alexander
AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 589 - 603
[7] EQUATIONAL SPECIFICATION OF PARTIAL HIGHER-ORDER ALGEBRAS
BROY, M
THEORETICAL COMPUTER SCIENCE, 1988, 57 (01) : 3 - 45
[8] Lie Jets and Higher-Order Partial Connections
Shurygin V.V.
Journal of Mathematical Sciences, 2020, 248 (4) : 497 - 504
[9] PARTIAL INTERPRETATIONS OF HIGHER-ORDER ALGEBRAIC TYPES
BROY, M
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 233 : 29 - 43
[10] Higher-order automatic differentiation of mathematical functions
Charpentier, Isabelle
Dal Cappello, Claude
COMPUTER PHYSICS COMMUNICATIONS, 2015, 189 : 66 - 71

← 1 2 3 4 5 →