Publisher
Springer Nature Switzerland
Reference18 articles.
1. Albouy, A., Kaloshin, V.: Finiteness of central configurations of five bodies in the plane. Ann. Math. (2) 176(1), 535–588 (2012)
2. Backelin, J.: Square multiples n give infinitely many cyclic n-roots. Reports, Matematiska Institutionen 8, Stockholms universitet (1989)
3. Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72(1–2), 3–21 (2008)
4. Fukuda, K.: cddlib reference manual, cddlib Version 094m. Swiss Federal Institute of Technology, Lausanne and Zürich, Switzerland (2021), https://people.inf.ethz.ch/fukudak/cdd_home/
5. Gao, T., Li, T.: Mixed volume computation for semi-mixed systems. Discrete Computational Geometry 29(2), 257–277 (2003)