Makarius Wenzel

Available identifiers

zbMath Open wenzel.makariusMaRDI QIDQ287364

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5219926	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Makarius Wenzel