1. Computing triangular systems and regular systems;Wang;J. Symbolic Comput.,2000
2. M. Kalkbrener, Three contributions to elimination theory, Ph.D. thesis, Johannes Kepler University, Linz, 1991
3. Searching dependency between algebraic equations: An algorithm applied to automated reasoning;Yang,1994
4. Solving zero-dimensional algebraic systems;Lazard;J. Symbolic Comput.,1992
5. M. Moreno Maza, On triangular decomposition of algebraic varieties, Technial Report TR 4/99, NAF Ltd, Oxford, UK, 1999