Implicitization of hypersurfaces (Q504409)

The paper describes implementation details of four common tricks that can be used to speed up the computation of implicitization: 1. When eliminating to find a hypersurfsce, stop computing the Gröbner Basis once you have the result. 2. Searching for the coefficients of the hypersurface by searching for relations among the images of monomials. 3. Homogenization before elimination. 4. Modular arithmetic and rational reconstruction. The authors also report on timings of their implementation and give references to their own work. Additionally the paper suggests some new vocabulary for commutative algebra. For example, a monomial is called a power product, a well order is called an enumerative order, an elimination ideal is an eliminating ideal and so on.