William Stein - CoCalc: Making open source mathematical software easily available on the web

Thomas Hales - Formal abstracts

Folkmar Bornemann - Short of proof: how many digits are nonetheless correct?

Mathematics also has increasing overlap with many mathematical disciplines such as Computer Science and the emerging area of Computational Sciences and Engineering. A key factor in this convergence of mathematical disciplines is the idea of computation, as manifested in the form of mathematical software in such disciplines.

We in the International Conference of Mathematical Software believe that the appearance of mathematical software is one of the most important new development in mathematics, and this phenomena should be studied as a coherent whole. We hope this conference can serve as the main forum for mathematicians, scientists and programmers who are interested in development of mathematical software.

**Acknowledgements:**

We gratefully acknowledge the support of Vice President for Research, College of Science, and Department of Applied and Computational Mathematics and Statistics at the University of Notre Dame, the National Science Foundation, and Oak Ridge Associated Universities (ORAU).

Department of Applied and Computational Mathematics and Statistics

153 Hurley Hall | Notre
Dame, IN 46556

Office: (574) 631-8630 | acms@nd.edu

Last Updated: June 18, 2018