Search filters

List of works by André Greiner-Petter

ARQMath Lab: An Incubator for Semantic Formula Search in zbMATH Open?

conference paper published in 2020

Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems

conference paper published in 2018

Caching and Reproducibility: Making Data Science Experiments Faster and FAIRer

publication published on 22 April 2022

Can LLMs Master Math? Investigating Large Language Models on Math Stack Exchange

scientific article published on 11 July 2024

Collaborative and AI-aided Exam Question Generation using Wikidata in Education

scientific article published in 2022

Collaborative and AI-aided Exam Question Generation using Wikidata in Education

conference paper published in 2022

Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems

conference paper published in 2022

Discovering Mathematical Objects of Interest — A Study of Mathematical Notations

conference paper published in 2020

Do the Math: Making Mathematics in Wikipedia Computable

scientific article published in January 2022

Final Report for the DFG-Project Methods and Tools to Advance the Retrieval of Mathematical Knowledge from Digital Libraries for Search-, Recommendation- and Assistance-Systems

report published in 2023

Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context

Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems

conference paper published in 2020

Math-Word Embedding in Math Search and Semantic Extraction

journal article from 'Scientometrics' published in 2020

MathTools: An open API for convenient MathML handling

book section published in 2018

Mathematical Formulae in Wikimedia Projects 2020

conference paper published in 2020

Mathematical Information Retrieval

Methods and Tools to Advance the Retrieval of Mathematical Knowledge from Digital Libraries for Search-, Recommendation- and Assistance-Systems

report published in 2023

Neural Machine Translation for Mathematical Formulae

conference paper published in 2023

PhysWikiQuiz - An AI-Aided Collaborative Physics Exam Question Generation and Test System for Teachers and Students

conference paper published in 2023

Semantic Preserving Bijective Mappings for Expressions involving Special Functions between Computer Algebra Systems and Document Preparation Systems

journal article from 'Aslib Journal of Information Management' published in 2019

TEIMMA: The First Content Reuse Annotator for Text, Images, and Math

conference paper published in 2023

Why Machines Cannot Learn Mathematics, Yet

conference paper published in 2019