Algorithms in algebraic geometry and applications - González-Vega, Laureano; Recio, Tomás, 1949- (Progress in mathematics ;, 1996)