Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
http://ceur-ws.org/Vol-2189/paper3.pdf (Verlagsversion)
Fontaine, P., Ogawa, M., Sturm, T., To, V. K., & Vu, X. T. (2018). Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. In A. M. Bigatti, & M. Brain (Eds.), Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference (pp. 110-117). CEUR-WS.