research
∙
08/09/2023
Mathematical Artifacts Have Politics: The Journey from Examples to Embedded Ethics
We extend Langdon Winner's idea that artifacts have politics into the re...
share
research
∙
06/15/2023
Manifesto for the Responsible Development of Mathematical Works – A Tool for Practitioners and for Management
This manifesto has been written as a practical tool and aid for anyone c...
research
∙
03/17/2022
An Interactive Explanatory AI System for Industrial Quality Control
Machine learning based image classification algorithms, such as deep neu...
research
∙
01/25/2021
Disambiguating Symbolic Expressions in Informal Documents
We propose the task of disambiguating symbolic expressions in informal S...
research
∙
02/12/2020
The Space of Mathematical Software Systems – A Survey of Paradigmatic Systems
Mathematical software systems are becoming more and more important in pu...
research
∙
10/24/2019
Rapid Prototyping Formal Systems in MMT: 5 Case Studies
Logical frameworks are meta-formalisms in which the syntax and semantics...
research
∙
12/05/2017