Title | Algorithms for computing triangular decomposition of polynomial systems |
Author(s) | Changbo Chen, Marc Moreno Maza |
Type | Article in Journal |
Abstract | We discuss algorithmic advances which have extended the pioneer work of Wu on triangular decompositions. We start with an overview of the key ideas which have led to either better implementation techniques or a better understanding of the underlying theory. We then present new techniques that we regard as essential to the recent success and for future research directions in the development of triangular decomposition methods. |
Keywords | Characteristic set, Triangular decomposition, Regular chain, Resultant, GCD |
ISSN | 0747-7171 |
URL |
http://www.sciencedirect.com/science/article/pii/S0747717111002161 |
Language | English |
Journal | Journal of Symbolic Computation |
Volume | 47 |
Number | 6 |
Pages | 610 - 642 |
Year | 2012 |
Note | Advances in Mathematics Mechanization Mathematics Mechanization |
Edition | 0 |
Translation |
No |
Refereed |
No |