André Greiner-Petter
Doctoral Researcher
External Researcher in Aizawa Lab, NII, Tokyo
SHORT BIOGRAPHY
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.
RESEARCH INTERESTS
Caused by my backgrounds, I'm interested in the following research areas:
- Presentation to Computation Translations
- Mathematical Information Retrieval
- Information Visualization
TEACHING & PROJECTS
Don't hesitate to contact me if you would like to make a project in the listed areas.
STUDENT PROJECTS
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.
PUBLICATIONS
- Discovering Mathematical Objects of Interest – A Study of Mathematical Notations
A. Greiner-Petter, M. Schubotz, F. Mueller, C. Breitinger, H. S. Cohl, A. Aizawa, and B. Gipp
in Proceedings of The Web Conference 2020 (WWW ’20), April 20–24, 2020, Taipei, Taiwan, 2020. PDF - 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
PDF - 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, PDF, Bibtex - 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
DOI, Bibtex - 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, PDF, Bibtex - 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
DOI, Bibtex