A Grbner free alternative to solving and a geometric analogue to Cook's thesis.

Marc Giusti

Browse the full ISSAC paper archive.