An Improved Algorithm for Computing With Equations

Paul Chew

Browse the full FOCS paper archive.