Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Sturm, T. (2015). Subtropical Real Root Finding. In D. Robertz (Ed.), ISSAC'15 (pp. 347-354). New York, NY: ACM. doi:10.1145/2755996.2756677.