Various elimination algorithms

Abstract

It is somewhat unusual to postpone the presentation of important elimination methods based on resultants and Gröbner bases to this later chapter. The main reason for this is that these methods are already well-known, fully described in standard textbooks, and widely accessible. In order to reduce overlap with existing materials in the literature, we shall not introduce the methods in detail and be satisfied by only giving them a brief review. Most formal proofs will be omitted.