A NEW METHOD FOR SOLVING ALGEBRAIC SYSTEMS OF POSITIVE DIMENSION

被引：82
作者：
LAZARD, D
机构：
[1] Boite Postale 168, Université Paris VI, 4, place Jussieu
来源：
DISCRETE APPLIED MATHEMATICS | 1991年 / 33卷 / 1-3期
关键词：
D O I：
10.1016/0166-218X(91)90113-B
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
A new algorithm is presented for solving algebraic systems of equations, which is designed from the structure which is wanted for the result. This algorithm is not yet implemented; thus technical details and proofs are omitted, for emphasizing on the relations between the algorithm design and a good representation of the result. The algorithm is based on a new theorem of decomposition for algebraic varieties.
引用
收藏
页码：147 / 160
页数：14
相关论文
共 11 条
[1]  
Buchberger B., 1970, AEQUATIONES MATH, V4, P374
[2]  
BUCHBERGER B, 1985, RECENT TRENDS MULTID
[3]  
CHISTOV A, 1983, SUBEXPONENTIAL TIME
[4]  
DELLADORA J, 1985, LECT NOTES COMPUT SC, V204, P289
[5]  
DICRESCENZO C, 1985, COMPUTERS COMPUTING, P54
[6]  
DICRESCENZO C, 1989, LECTRUE NOTES COMPUT, V258, P440
[7]  
DUVAL D, 1987, THESIS GRENOBLE
[8]   A SUPEREXPONENTIAL LOWER BOUND FOR GROBNER BASES AND CHURCH-ROSSER COMMUTATIVE THUE SYSTEMS [J].
HUYNH, DT .
INFORMATION AND CONTROL, 1986, 68 (1-3) :196-206
[9]  
LAZARD D, IN PRESS J SYMBOLIC
[10]   BUCHBERGER METHOD FOR SOLVING SYSTEMS OF ALGEBRAIC EQUATIONS [J].
TRINKS, W .
JOURNAL OF NUMBER THEORY, 1978, 10 (04) :475-488
12