Mixed real-integer linear quantifier elimination (1999)

by Volker Weispfenning
Venue:In ISSAC ’99