An improved algorithm for computing with equations (1980)

by P Chew
Venue:In IEEE FOCS