Provides a presentation of elimination methods and the underlying theories, along the central line of decomposing arbitrary systems of polynomials into triangular systems of various kinds. Highlighting methods based on triangular sets, this book also covers the theory and techniques of resultants and Grobner bases.