Article ID Journal Published Year Pages File Type
10325824 Journal of Symbolic Computation 2012 33 Pages PDF
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.
Related Topics
Physical Sciences and Engineering Computer Science Artificial Intelligence
Authors
, ,