An Efficient Algorithm for the Sign Condition Problem in the Semi-algebraic Context.

Rafael Grimson

Browse the full GMP paper archive.