172 citations · 418 across the 52 of their papers we have counts for
55 papers
Formal-Informal Mathematical Alignment through and beyond Human Annotations
Noah Gießing, Ankit Satpute, Hamid Rahkooy +2
Formalized mathematics libraries such as Lean's \texttt{mathlib} provide machine-verifiable representations of mathematical knowledge, including definitions, theorems, and their re…
Quantifying Ethereum Energy Consumption via Network Mapping
Yahn Costa Hackspacher, Cornelius Ihle, Vasundhara Shaw +4
Ethereum's electricity use fell by about 99.95% after the move from proof of work to proof of stake. Service providers still need to report operational energy use, e.g. under the E…
Syntax Meets Semantics: Understanding Scientific Formulae
Yuni Susanti, Moritz Schubotz
Scientific formulae are a fundamental component of scholarly communication, yet their dual nature -- as structured syntax and carriers of semantics -- remains underexplored in scho…
Aspect-Aware Content-Based Recommendations for Mathematical Research Papers
Ankit Satpute, André Greiner-Petter, Noah Gießing +4
Content-based research paper recommendation (CbRPR) has seen advances in computer science and biomedicine, but remains unexplored for mathematics, where paper relatedness is more c…
Large-Scale Measurement of NAT Traversal for the Decentralized Web: A Case Study of DCUtR in IPFS
Dennis Trautwein, Cornelius Ihle, Moritz Schubotz +2
The promise of decentralized peer-to-peer (P2P) systems is fundamentally gated by the challenge of Network Address Translation (NAT) traversal, with existing solutions often reintr…
LLM-supported document separation for printed reviews from zbMATH Open
Ivan Pluzhnikov, Ankit Satpute, Moritz Schubotz +2
This paper presents a specialized methodology for digitizing and segmenting mathematical documents from zbMATH Open, a comprehensive database of mathematical literature, to enhance…
Challenging Tribal Knowledge -- Large Scale Measurement Campaign on Decentralized NAT Traversal
Dennis Trautwein, Cornelius Ihle, Moritz Schubotz +1
The promise of decentralized peer-to-peer (P2P) systems is fundamentally gated by the challenge of Network Address Translation (NAT) traversal, with existing solutions often reintr…
How to Fight Fraudulent Publishing in the Mathematical Sciences: Joint Recommendations of the IMU and the ICIAM
Ilka Agricola, Lynn Heller, Wil Schilders +3
These recommendations were formulated by the authors in close collaboration with the IMU Committee on Publishing (chaired by Ilka Agricola) and have been endorsed by the Executive…
Fraudulent Publishing in the Mathematical Sciences
Ilka Agricola, Lynn Heller, Wil Schilders +3
This report is the first of two publications of a joint Working Group of the International Mathematical Union (IMU) and the International Council of Industrial and Applied Mathemat…
Author Intent: Eliminating Ambiguity in MathML
David Carlisle, Paul Libbrecht, Moritz Schubotz +1
MathML has been successful in improving the accessibility of mathematical notation on the web. All major screen readers support MathML to generate speech, allow navigation of the m…
Can LLMs Master Math? Investigating Large Language Models on Math Stack Exchange
Ankit Satpute, Noah Giessing, Andre Greiner-Petter +4
Large Language Models (LLMs) have demonstrated exceptional capabilities in various natural language tasks, often achieving performances that surpass those of humans. Despite these…
Taxonomy of Mathematical Plagiarism
Ankit Satpute, Andre Greiner-Petter, Noah Gießing +5
Plagiarism is a pressing concern, even more so with the availability of large language models. Existing plagiarism detection systems reliably find copied and moderately reworded te…
Making Mathematical Research Data FAIR: A Technology Overview
Tim Conrad, Eloi Ferrer, Daniel Mietchen +3
The sharing and citation of research data is becoming increasingly recognized as an essential building block in scientific research across various fields and disciplines. Sharing r…
Bravo MaRDI: A Wikibase Powered Knowledge Graph on Mathematics
Moritz Schubotz, Eloi Ferrer, Johannes Stegmüller +4
Mathematical world knowledge is a fundamental component of Wikidata. However, to date, no expertly curated knowledge graph has focused specifically on contemporary mathematics. Add…
TEIMMA: The First Content Reuse Annotator for Text, Images, and Math
Ankit Satpute, André Greiner-Petter, Moritz Schubotz +4
This demo paper presents the first tool to annotate the reuse of text, images, and mathematical formulae in a document pair -- TEIMMA. Annotating content reuse is particularly usef…
Neural Machine Translation for Mathematical Formulae
Felix Petersen, Moritz Schubotz, Andre Greiner-Petter +1
We tackle the problem of neural machine translation of mathematical formulae between ambiguous presentation languages and unambiguous content languages. Compared to neural machine…
Methods and Tools to Advance the Retrieval of Mathematical Knowledge from Digital Libraries for Search-, Recommendation-, and Assistance-Systems
Bela Gipp, André Greiner-Petter, Moritz Schubotz +1
This project investigated new approaches and technologies to enhance the accessibility of mathematical content and its semantic information for a broad range of information retriev…
Introducing Peer Copy -- A Fully Decentralized Peer-to-Peer File Transfer Tool
Dennis Trautwein, Moritz Schubotz, Bela Gipp
It allows any two parties that are either both on the same network or connected via the internet to transfer the contents of a file based on a particular sequence of words. Peer di…
Discovery and Recognition of Formula Concepts using Machine Learning
Philipp Scharpf, Moritz Schubotz, Howard S. Cohl +2
Citation-based Information Retrieval (IR) methods for scientific documents have proven effective for IR applications, such as Plagiarism Detection or Literature Recommender Systems…
Collaborative and AI-aided Exam Question Generation using Wikidata in Education
Philipp Scharpf, Moritz Schubotz, Andreas Spitz +2
Since the COVID-19 outbreak, the use of digital learning or education platforms has significantly increased. Teachers now digitally distribute homework and provide exercise questio…
Mining Mathematical Documents for Question Answering via Unsupervised Formula Labeling
Philipp Scharpf, Moritz Schubotz, Bela Gipp
The increasing number of questions on Question Answering (QA) platforms like Math Stack Exchange (MSE) signifies a growing information need to answer math-related questions. Howeve…
Caching and Reproducibility: Making Data Science experiments faster and FAIRer
Moritz Schubotz, Ankit Satpute, Andre Greiner-Petter +2
Small to medium-scale data science experiments often rely on research software developed ad-hoc by individual scientists or small teams. Often there is no time to make the research…
Design and Evaluation of IPFS: A Storage Layer for the Decentralized Web
Dennis Trautwein, Aravindh Raman, Gareth Tyson +5
Recent years have witnessed growing consolidation of web operations. For example, the majority of web traffic now originates from a few organizations, and even micro-websites often…
Electronic Laboratory Notebook: A lazy approach
Simon Schubotz, Moritz Schubotz, Günter K Auernhammer
Good research data management is essential in modern-day lab work. Various solutions exist that are either highly specific or need a significant effort to be customized appropriate…