Characteristic Set Method for Laurent Differential Polynomial Systems

被引：1

作者：

Hu, Youren ^{[1
]}

Gao, Xiao-Shan ^{[1
]}

机构：

[1] Chinese Acad Sci, Acad Math & Syst Sci, UCAS, KLMM, Beijing 100190, Peoples R China

来源：

COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2017 | 2017年 / 10490卷

关键词：

Characteristic set; Grobner basis; Laurent differential polynomial; Laurent regular; DECOMPOSITION;

D O I：

10.1007/978-3-319-66320-3_14

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper, a characteristic set method for Laurent (differential) polynomial systems is given. In the Laurent polynomial case, the concept of Laurent regular chain is introduced and a characteristic set algorithm for Laurent polynomial system is given. In the Laurent differential polynomial case, we give a partial method to decide whether a Laurent differential chain d is Laurent regular.

引用

页码：183 / 195

页数：13

共 23 条

[1]

Aubry P, 1999, J SYMB COMPUT, V28, P105, DOI 10.1006/jsco.1998.0269

[2] Computing differential characteristic sets by change of ordering [J].

Boulier, Francois ;

Lemaire, Francois ;

Maza, Marc Moreno .

JOURNAL OF SYMBOLIC COMPUTATION, 2010, 45 (01) :124-149

[3] Unmixed-dimensional decomposition of a finitely generated perfect differential ideal [J].

Bouziane, D ;

Rody, AK ;

Maârouf, H .

JOURNAL OF SYMBOLIC COMPUTATION, 2001, 31 (06) :631-649

[4] AN EXTENSION OF THE NEWTON-PUISEUX POLYGON CONSTRUCTION TO GIVE SOLUTIONS OF PFAFFIAN FORMS [J].

CANO, J .

ANNALES DE L INSTITUT FOURIER, 1993, 43 (01) :125-142

[5]

CANO J., 1993, Analysis, V13, P103, DOI [10.1524/anly.1993.13.12.103, DOI 10.1524/ANLY.1993.13.12.103]

[6] Triangular decomposition of semi-algebraic systems [J].

Chen, Changbo ;

Davenport, James H. ;

May, John P. ;

Maza, Marc Moreno ;

Xia, Bican ;

Xiao, Rong .

JOURNAL OF SYMBOLIC COMPUTATION, 2013, 49 :3-26

[7] AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC SET METHOD .1. AN IMPROVED VERSION OF RITT-WU DECOMPOSITION ALGORITHM [J].

CHOU, SC ;

GAO, XS .

JOURNAL OF AUTOMATED REASONING, 1993, 10 (02) :161-172

[8]

CHOU SC, 1990, LECT NOTES ARTIF INT, V449, P207

[9] Binomial difference ideals [J].

Gao, Xiao-Shan ;

Huang, Zhang ;

Yuan, Chun-Ming .

JOURNAL OF SYMBOLIC COMPUTATION, 2017, 80 :665-706

[10] Characteristic set algorithms for equation solving in finite fields [J].

Gao, Xiao-Shan ;

Huang, Zhenyu .

JOURNAL OF SYMBOLIC COMPUTATION, 2012, 47 (06) :655-679

← 1 2 3 →