Efficient projection orders for CAD.

Andreas Dolzmann, Andreas Seidl, Thomas Sturm

Browse the full ISSAC paper archive.