Speeding Up Cylindrical Algebraic Decomposition by Grbner Bases.

David J. Wilson, Russell J. Bradford, James H. Davenport

Browse the full AISC paper archive.