To adequately model mathematical arguments the analyst must be able to represent the
mathematical objects under discussion and the relationships between them, as well as …

Theories are an essential structuring principle that enable modularity, encapsulation, and
reuse in formal libraries and programs (called classes there). Similar effects can be …

In 2016 a collection of guiding principles for the management of scientific data was
proposed by a consortium of scientists and organizations under the acronym FAIR …

Many mathematical software systems are based on the explicit representation of
mathematical knowledge and organize that modularly. Surprisingly, most of these systems …

Mathematical models are the foundation of numerical simulation of optoelectronic devices.
We present a concept for a machine-actionable as well as human-understandable …

Translating expressions between different logics and theorem provers is notoriously and
often prohibitively difficult, due to the large differences between the logical foundations, the …

In this paper, we discuss how to make electric street lighting systems more energy efficient
by creating an algorithm and mathematical model for optimizing parameters, minimizing …

The purpose of this paper is to prove the fundamental laws used in the three types of
information processing through knowledge content and language form. Thus, the ability …

We propose the task of disambiguating symbolic expressions in informal STEM documents
in the form of LaTeX files-that is, determining their precise semantics and abstract syntax …

This paper addresses a knowledge gap that is commonly encountered in computational
science and engineering: To set up a simulation, we need to combine domain knowledge …