AUZINGER, W. An Elimination Algorithm for the Computation of All Zeros of a System of Multivariate Polynomial Equations. Numerical Mathematics Singapore 1988. 1988, 86, 11-30
BUCHBERGER, B. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. PhD thesis, Universitat Innsbruck. 1965
BUCHBERGER, B. Ein Algorithmisches Kriterium fur die Losbarkeit eines algebraischen Gleichungssystems. Aequationes Mathematicae. 1970, 4, 374-383
CHAR, B. W. Maple V Library Reference Manual. 1991
CORLESS, R. M. A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple Roots. ISSAC 97. 1997, 133-140