Quantifier Elimination Over the Integers.

Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan Maligec, Marc Moreno Maza, Chirantan Mukherjee

Browse the full ISSAC paper archive.