Alperen A. Ergür, Timo de Wolff, “A Polyhedral Homotopy Algorithm for Real Zeros”, Arnold Math J., 9, no. 3, 2023, 305
J. Pila, A. J. Wilkie, “The rational points of a definable set”, Duke Math. J., 133, no. 3, 2006
Michael Burr, Kisun Lee, Anton Leykin, Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019, 267
Olivier Bousquet, Stéphane Boucheron, Gábor Lugosi, 3176, Advanced Lectures on Machine Learning, 2004, 169
J. Maurice Rojas, 2369, Algorithmic Number Theory, 2002, 506
ZARATHUSTRA BRADY, “Divisor function inequalities, entropy, and the chance of being below average”, Math. Proc. Camb. Phil. Soc., 163, no. 3, 2017, 547
Pascal Koiran, Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, 2012, 8
Felix Kubler, “Approximate Generalizations and Computational Experiments”, Econometrica, 75, no. 4, 2007, 967
Alexei Grigoriev, Yosef Yomdin, “Rotation rate of a trajectory of an algebraic vector field around an algebraic curve”, Qual. Th. Dyn. Syst., 2, no. 1, 2001, 61
Thomas Brihaye, Christian Michaux, “On the expressiveness and decidability of o-minimal hybrid systems”, Journal of Complexity, 21, no. 4, 2005, 447