Andre Greiner-Petter
Andre Greiner-Petter
University of Wuppertal
Verified email at
Cited by
Cited by
Improving the representation and conversion of mathematical formulae by considering their textual context
M Schubotz, A Greiner-Petter, P Scharpf, N Meuschke, HS Cohl, B Gipp
Proceedings of the 18th ACM/IEEE on joint conference on digital libraries …, 2018
Math-word embedding in math search and semantic extraction
A Greiner-Petter, A Youssef, T Ruas, BR Miller, M Schubotz, A Aizawa, ...
Scientometrics 125 (3), 3017-3046, 2020
Discovering mathematical objects of interest—a study of mathematical notations
A Greiner-Petter, M Schubotz, F Müller, C Breitinger, H Cohl, A Aizawa, ...
Proceedings of The Web Conference 2020, 1445-1456, 2020
Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems
HS Cohl, M Schubotz, A Youssef, A Greiner-Petter, J Gerhard, ...
International Conference on Intelligent Computer Mathematics, 115-131, 2017
Semantic preserving bijective mappings for expressions involving special functions between computer algebra systems and document preparation systems
A Greiner-Petter, M Schubotz, HS Cohl, B Gipp
Aslib journal of information management, 2019
Why machines cannot learn mathematics, yet
A Greiner-Petter, T Ruas, M Schubotz, A Aizawa, W Grosky, B Gipp
arXiv preprint arXiv:1905.08359, 2019
ARQMath Lab: An Incubator for Semantic Formula Search in zbMATH Open?
P Scharpf, M Schubotz, A Greiner-Petter, M Ostendorff, O Teschke, B Gipp
arXiv preprint arXiv:2012.02413, 2020
Automated symbolic and numerical testing of DLMF formulae using computer algebra systems
HS Cohl, A Greiner-Petter, M Schubotz
International Conference on Intelligent Computer Mathematics, 39-52, 2018
Towards Grounding of Formulae
T Asakura, A Greiner-Petter, A Aizawa, Y Miyao
Proceedings of the First Workshop on Scholarly Document Processing, 138-147, 2020
Mathematical Formulae in Wikimedia Projects 2020
M Schubotz, A Greiner-Petter, N Meuschke, O Teschke, B Gipp
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries in 2020 …, 2020
Comparative verification of the digital library of mathematical functions and computer algebra systems
A Greiner-Petter, HS Cohl, A Youssef, M Schubotz, A Trost, R Dey, ...
International Conference on Tools and Algorithms for the Construction and …, 2022
MathTools: An Open API for Convenient MathML Handling
A Greiner-Petter, M Schubotz, HS Cohl, B Gipp
International Conference on Intelligent Computer Mathematics, 104-110, 2018
Making presentation math computable: Proposing a context sensitive approach for translating LaTeX to computer algebra systems
A Greiner-Petter, M Schubotz, A Aizawa, B Gipp
International Congress on Mathematical Software, 335-341, 2020
Do the Math: Making Mathematics in Wikipedia Computable
A Greiner-Petter, M Schubotz, C Breitinger, P Scharpf, A Aizawa, B Gipp
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2022
Making Presentation Math Computable: A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
A Greiner-Petter
Universität Wuppertal, Fakultät für Elektrotechnik, Informationstechnik und …, 2022
Caching and Reproducibility: Making Data Science Experiments Faster and FAIRer
M Schubotz, A Satpute, A Greiner-Petter, A Aizawa, B Gipp
Frontiers in Research Metrics and Analytics 7, 2022
Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems
A Greiner-Petter
arXiv preprint arXiv:2011.14616, 2020
Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems
A Greiner-Petter, J Gerhard, BV Saunders, MA McClain, J Bang, K Chen
Intelligent Computer Mathematics: 10th International Conference, CICM 2017 …, 2017
The system can't perform the operation now. Try again later.
Articles 1–18