1. J. Borwein, D. Bailey, and R. Gigensohn, Experimentation in Mathematics: Computational Paths to Discovery (A. K. Peters, Natick, 2004).
2. V. I. Arnold, Experimental Mathematics (Fazis, Moscow, 2005) [in Russian].
3. R. Hammer et al., Numerical Toolbox for Verified Computing I: Basic Numerical Problems (Springer-Verlag, Berlin, 1993).
4. K. Appel and W. Haken, “Solution of the four color map problem,” Sci. Am. 237 (4), 108–121 (1977).
5. F. D. Rukhovich, “Outer billiards outside regular polygons: Tame case,” Izv. Math. 86 (3), 508–559 (2022).