Makarius Wenzel

Available identifiers

zbMath Open wenzel.makariusMaRDI QIDQ287364

List of research outcomes

Publication	Date of Publication	Type
Seventeen provers under the hammer	2024-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q6079227	2023-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q5875430	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	2019-12-18	Paper
Eisbach: a proof method language for Isabelle	2016-05-26	Paper
An Isabelle proof method language	2014-09-08	Paper
Asynchronous user interaction and tool integration in Isabelle/PIDE	2014-09-08	Paper
Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit	2014-07-22	Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory	2013-08-09	Paper
Pervasive parallelism in highly-trustable interactive theorem proving systems	2013-08-09	Paper
Shared-memory multiprocessing for interactive theorem proving	2013-08-07	Paper
Isabelle/jEdit – A Prover IDE within the PIDE Framework	2012-09-07	Paper
Isabelle as document-oriented proof assistant	2011-07-29	Paper
Local Theory Specifications in Isabelle/Isar	2009-07-02	Paper
Constructive Type Classes in Isabelle	2009-03-10	Paper
Logic-Free Reasoning in Isabelle/Isar	2009-01-27	Paper
The Isabelle Framework	2008-12-04	Paper
Building Formal Method Tools in the Isabelle/Isar Framework	2008-09-02	Paper
Context Aware Calculation and Deduction	2007-11-28	Paper
Structured Induction Proofs in Isabelle/Isar	2007-09-05	Paper

Research outcomes over time

This page was built for person: Makarius Wenzel