Satisfiability of Non-Linear Arithmetic over Algebraic Numbers We propose an (incomplete) approach for satisfiability of non-linear arithmetic over algebraic real numbers by reducing the problem to non-linear arithmetic over the rationals/integers.