Survo as a tool for experimental mathematics

MaRDI QIDQ2825763zbMATH OpenFDO

Authors Seppo Mustonen

Publication date 13 October 2016

Published in Arkhimedes (Search for Journal in Brave)

zbMATH Keywords

asymptotic formulascomputing environmentexperimental mathematicslattice pointsrectangular gridrecursive formulasSurvo

Mathematics Subject Classification ID

Combinatorial identities, bijective combinatorics (05A19) Recurrences (11B37) Asymptotic results on arithmetic functions (11N37) Lattice points in specified regions (11P21) Computational number theory (11Y99)

Review text

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)].

Recommendations

• Solving Survo puzzles using matrix combinatorial products
• scientific article; zbMATH DE number 2170575
• Experimental mathematics
• Emerging Tools for Experimental Mathematics
• scientific article; zbMATH DE number 3860445

Cited in

(1)

• Solving Survo puzzles using matrix combinatorial products

Describes a project that uses

Uses Software

• Survo

This page was built for publication: Survo as a tool for experimental mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2825763)