Survo as a tool for experimental mathematics (Q2825763)

Survo is a computing environment developed by professor Seppo Mustonen. Various forms of Survo have existed during the last 50 years. Survo R is the latest reincarnation of Survo. Technically Survo R is a collection of open source multi-platform R packages. During its history, Survo has developed from a statistical program to a general computing environment.NEWLINENEWLINEIn the present paper, professor Mustonen demonstrates how the editorial working mode of Survo is an efficient tool in experimental mathematics. He describes the process that led to new recursive and asymptotic formulas for the number of lines in a rectancular grid of points. These formulas of Mustonen were proved mathematically by \textit{A.-M. Ernvall-Hytönen} et al. [Monatsh. Math. 164, No. 2, 157--170 (2011; Zbl 1250.05023)].