Solving Non-linear Arithmetic.

Dejan Jovanovic, Leonardo Mendona de Moura

Browse the full CADE paper archive.