Райгородский, А. М. Several Directions of Computer-Aided Investigations in Combinatorics and Geometry. CTE 2017, 25-31.