Marcel Schütz

According to our database, Marcel Schütz authored at least 6 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Lightweight Realms.

Michael Kohlhase, Florian Rabe, Marcel Schütz

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025

Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations.

Josefin Kelber, Michael Kohlhase, Jan Frederik Schaefer, Marcel Schütz

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025

2024

Reusing Learning Objects via Theory Morphisms.

Michael Kohlhase, Marcel Schütz

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

Term Extraction for Domain Modeling.

Theresa Kruse, Dominic Lohr, Marc Berges, Michael Kohlhase, Halimeh Moghbeli, Marcel Schütz

Proceedings of the DELFI 2024, 2024

2021

Beautiful Formalizations in Isabelle/Naproche.

Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

The Isabelle/Naproche Natural Language Proof Assistant.

Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Makarius Wenzel

Proceedings of the Automated Deduction - CADE 28, 2021