Publications

2025

Lightweight Realms
Michael Kohlhase
Florian Rabe
Marcel Schütz
Intelligent Computer Mathematics – 18th International Conference
CICM 2025
PDF
BibTEX
Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations
Josefin Kelber
Michael Kohlhase
Jan Frederik Schaefer
Marcel Schütz
Intelligent Computer Mathematics – 18th International Conference
CICM 2025
PDF
HTML (experimental)
BibTEX

2024

Reusing Learning Objects via Theory Morphisms
Michael Kohlhase
Marcel Schütz
Intelligent Computer Mathematics – 17th International Conference
CICM 2024
PDF
HTML (experimental)
BibTEX
Term Extraction for Domain Modeling
Theresa Kruse-Kurbach
Dominic Lohr
Marc Berges
Michael Kohlhase
Halimeh Moghbeli Damaneh
Marcel Schütz
22. Fachtagung Bildungstechnologien
DELFI 2024
PDF
BibTEX

2022

Setting up Set-Theoretical Foundations in Naproche
Marcel Schütz
Adrian De Lon
Peter Koepke
Work-in-progress papers presented at the 15th Conference on Intelligent Computer Mathematics
CICM 2022
PDF
BibTEX

2021

The Isabelle/Naproche Natural Language Proof Assistant
Adrian De Lon
Peter Koepke
Anton Lorenzen
Adrian Marti
Marcel Schütz
Makarius Wenzel
Automated Deduction – CADE 28
CADE 2021
PDF
BibTEX
Beautiful Formalizations in Isabelle/Naproche
Adrian De Lon
Peter Koepke
Anton Lorenzen
Adrian Marti
Marcel Schütz
Erik Sturzenhecker
Intelligent Computer Mathematics – 14th International Conference
CICM 2021
PDF
BibTEX

2020

Formalizing Foundational Notions in Naproche-SAD
Peter Koepke
Jan Penquitt
Marcel Schütz
Erik Sturzenhecker
NFM 2020
PDF
BibTEX