Triangular sets for solving polynomial systems: a comparative implementation of four methods

PARDI!

Proceedings of the 2001 international symposium on Symbolic and algebraic computation

On computer-assisted classification of coupled integrable equations

Proceedings of the 2001 international symposium on Symbolic and algebraic computation

On computer-assisted classification of coupled integrable equations

Journal of Symbolic Computation - Computer algebra: Selected papers from ISSAC 2001

Cited References

Computer algebra handbook

Triangular decompositions of polynomial systems: from theory to practice

Proceedings of the 2006 international symposium on Symbolic and algebraic computation

On approximate triangular decompositions in dimension zero

Journal of Symbolic Computation

Component-level parallelization of triangular decompositions

Proceedings of the 2007 international workshop on Parallel symbolic computation

When does (T) equal sat(T)?

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation

Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library

ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II

Regular Decompositions

Computer Mathematics

Notes on triangular sets and triangulation-decomposition algorithms I: polynomial systems

SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation

When does equal sat(T)?

Journal of Symbolic Computation

Some properties of triangular sets and improvement upon algorithm charser

AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation

A new algorithmic scheme for computing characteristic sets

Journal of Symbolic Computation