Invited Speakers

Akiko Aizawa, National Institute of Informatics, University of Tokyo
Natural language processing techniques for mathematical formula search
Mathematical formula is a notation widely used in diverse scientific disciplines. Although many formulae appear as part of natural language text, the interpretation of the formulae has been examined only slightly to date as a research subject in natural language processing (NLP). In this talk, I will introduce NLP-based approaches for semantic search and computer understanding of mathematical formulae where a formula is considered as a component of a document semantically connected to other textual components written in natural language. I will also introduce our preliminary attempts in the NTCIR-Math information retrieval tasks that took place during 2013 to 2016.

Bruno Buchberger, Research Institute for Symbolic Computation, Johannes Kepler University
CICM, Calculemus, MKM, GMDL, ...: Some Thoughts About Past and Future
Since I was involved in the beginning and evolution of Calculemus, MKM, Theorema, GMDL, SCSS, etc., I will compare the initial dreams with the current state and the dreams for the future of automated mathematics and software science.

Adri Olde Daalhuis, University of Edinburgh
The DLMF, special functions in the 21st century
The Digital Library of Mathematical Functions (DLMF) Project was initiated to perform a complete revision of the Handbook of Mathematical Functions (Abramowitz and Stegun, 1964), one of the most-cited reference works for physical scientists and engineers. The DLMF has considerably extended the scope of the original handbook as well as improving accessibility to the worldwide community of scientists and mathematicians. The DLMF Project updates and periodically expands the coverage to 1) correct the mathematical content where errors are discovered, 2) to add new features to the website and 3) to provide new mathematical material as the community and the editors feel is appropriate. I will discuss the history, current state and the possible future of the DLMF.