Navigationsweiche Anfang

Navigationsweiche Ende


André Greiner-Peter

National Institute of Informatics (NII)
Aizawa Laboratory
2 Chome-1-2 Hitotsubashi, Chiyoda
100-0003 Tokyo, Japan


Social network profiles

André Greiner-Petter

Doctoral Researcher

External Researcher in Aizawa Lab, NII, Tokyo

write email



I studied Mathematics at the TU Berlin until 2017. During my Master's thesis, I was a guest researcher at the National Institute of Standards and Technology (NIST) in the US and made an internship at Maplesoft in Canada. I had the feeling the topic of my Master's thesis is worth it to put more effort into it. So I started my Ph.D. for further improving mathematical information retrieval algorithms. One of my big hobbies is Photography.


Caused by my backgrounds, I'm interested in the following research areas:

  • Presentation to Computation Translations
  • Mathematical Information Retrieval
  • Information Visualization


Don't hesitate to contact me if you would like to make a project in the listed areas.


The slides below are the examples of the projects on my research fields. To have an overview of the description in the high resolution, please open this pdf file.


  1. Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems
    André Greiner-Petter
    Bulletin of IEEE Technical Committee on Digital Libraries, Volume 15, Issue 1, Jan. 2019
  2. MathTools: An Open API for Convenient MathML Handling
    A. Greiner-Petter, M. Schubotz, H. S. Cohl, and B. Gipp
    11th Conference on Intelligent Computer Mathematics (CICM), Hagenberg, Austria, Aug. 2018
    DOI, PDFBibtex
  3. Automated Symbolic and Numerical Testing of DLMF Formulae using a Computer Algebra System
    H. S. Cohl, A. Greiner-Petter, and M. Schubotz
    11th Conference on Intelligent Computer Mathematics (CICM), Hagenberg, Austria, Aug. 2018
  4. Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context
    M. Schubotz, A. Greiner-Petter, P. Scharpf, N. Meuschke, H. Cohl, and B. Gipp
    Proceedings of the ACM/IEEECS Joint Conference on Digital Libraries (JCDL), Fort Worth, USA, Jun. 2018
    DOI, PDFBibtex
  5. Semantic Preserving Bijective Mappings of Mathematical Formulae between Document Preparation Systems and Computer Algebra Systems
    H. S. Cohl, M. Schubotz, A. Youssef, A. Greiner-Petter, J. Gerhard, B. V. V. Saunders, M. A. A. McClain, J. Bang, and K. Chen
    10th Conference on Intelligent Computer Mathematics (CICM), Edinburgh, Scotland, Jul. 2017
zuletzt bearbeitet am: 16.05.2019