• Deutsch
  • English
  • 日本語
  • List of Publications

    2017 - 2018

    A. Greiner-Petter, M. Schubotz, H. S. Cohl, and B. Gipp
    MathTools: An Open API for Convenient MathML Handling
    11th Conference on Intelligent Computer Mathematics (CICM), Hagenberg, Austria, Aug. 2018
    PDF
    @InProceedings{GreinerPetter2018, author = {Greiner-Petter, Andre and Schubotz, Moritz and Cohl, Howard~S. and Gipp, Bela}, title = {MathTools: An Open API for Convenient MathML Handling}, booktitle = {11th Conference on Intelligent Computer Mathematics CICM, RISC, Hagenberg, Austria}, year = {2018}, month = {8}, address = {RISC, Hagenberg, Austria}, }

    H. S. Cohl, A. Greiner-Petter, and M. Schubotz
    Automated Symbolic and Numerical Testing of DLMF Formulae using a Computer Algebra System
    11th Conference on Intelligent Computer Mathematics (CICM), Hagenberg, Austria, Aug. 2018

    M. Schubotz, A. Greiner-Petter, P. Scharpf, N. Meuschke, H. Cohl, and B. Gipp
    Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context
    Proceedings of the ACM/IEEECS Joint Conference on Digital Libraries (JCDL), Fort Worth, USA, Jun. 2018
    PDF
    @InProceedings{Schubotz2018, author = {Schubotz, Moritz and Greiner-Petter, Andre and Scharpf, Philipp and Meuschke, Norman and Cohl, Howard and Gipp, Bela}, title = {Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context}, booktitle = {Proceedings of the ACM/IEEE-CS Joint Conference on Digital Libraries (JCDL)}, year = {2018}, month = {Jun.}, address = {Fort Worth, USA}, doi = {10.1145/3197026.3197058} }

    H. S. S. Cohl, M. Schubotz, A. Youssef, A. Greiner-Petter, J. Gerhard, B. V. V. Saunders, M. A. A. McClain, J. Bang, and K. Chen
    Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems
    10th Conference on Intelligent Computer Mathematics (CICM), Edinburgh, Scotland, Jul. 2017
    Springer Link
    @InProceedings{Cohl17, author = {Howard S. Cohl and Moritz Schubotz and Abdou Youssef and Andr{\'{e}} Greiner{-}Petter and J{\"{u}}rgen Gerhard and Bonita V. Saunders and Marjorie A. McClain and Joon Bang and Kevin Chen}, title = {Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems}, booktitle = {Intelligent Computer Mathematics - 10th International Conference, {CICM}}, pages = {115--131}, year = {2017}, month = {Jul.}, address = {Edinburgh, UK}, doi = {10.1007/978-3-319-62075-6\_9} }
    Top