You must enable JavaScript to use this site
  • 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.

  • News

    • CICM is over
    • award winners online
    • detailed program online
    • accepted papers online
    • registration open
    • program overview online
    • deadline extended: April 22 (abstract), April 29 (paper)
    • 6 workshops accepted
    • 3 invited speakers
    • CfP and CfW available
    • PC completed
    • initial website online
Privacy policy and legal information
Last modified: August 04 2018 18:34:33 CEST