Makarius Wenzel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Seventeen provers under the hammer	2024-07-15	Paper
scientific article; zbMATH DE number 7756106 (Why is no real title available?)	2023-10-27	Paper
scientific article; zbMATH DE number 7649970 (Why is no real title available?)	2023-02-03	Paper
CICM'21 systems entries	2022-04-22	Paper
The Isabelle/Naproche natural language proof assistant	2021-12-01	Paper
Interactive theorem proving from the perspective of Isabelle/Isar	2020-03-09	Paper
Interaction with formal mathematical documents in Isabelle/PIDE	2020-01-22	Paper
Relational data across mathematical libraries	2020-01-22	Paper
From LCF to Isabelle/HOL Formal Aspects of Computing	2019-12-18	Paper
Eisbach: a proof method language for Isabelle Journal of Automated Reasoning	2016-05-26	Paper
An Isabelle proof method language Interactive Theorem Proving	2014-09-08	Paper
Asynchronous user interaction and tool integration in Isabelle/PIDE Interactive Theorem Proving	2014-09-08	Paper
Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit Electronic Notes in Theoretical Computer Science	2014-07-22	Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory Lecture Notes in Computer Science	2013-08-09	Paper
Pervasive parallelism in highly-trustable interactive theorem proving systems Lecture Notes in Computer Science	2013-08-09	Paper
Shared-memory multiprocessing for interactive theorem proving Interactive Theorem Proving	2013-08-07	Paper
Isabelle/jEdit – A Prover IDE within the PIDE Framework Lecture Notes in Computer Science	2012-09-07	Paper
Isabelle as document-oriented proof assistant Lecture Notes in Computer Science	2011-07-29	Paper
Local Theory Specifications in Isabelle/Isar Lecture Notes in Computer Science	2009-07-02	Paper
Constructive Type Classes in Isabelle Lecture Notes in Computer Science	2009-03-10	Paper
Logic-Free Reasoning in Isabelle/Isar Lecture Notes in Computer Science	2009-01-27	Paper
The Isabelle Framework Lecture Notes in Computer Science	2008-12-04	Paper
Building Formal Method Tools in the Isabelle/Isar Framework Lecture Notes in Computer Science	2008-09-02	Paper
Context Aware Calculation and Deduction Towards Mechanized Mathematical Assistants	2007-11-28	Paper
Structured Induction Proofs in Isabelle/Isar Lecture Notes in Computer Science	2007-09-05	Paper

Research outcomes over time

This page was built for person: Makarius Wenzel