Computational algebraic geometry - Eyssette, Frederic; Galligo, A. (Progress in mathematics (Boston, Mass), 1993)