Makarius Wenzel

zbMath Openwenzel.makariusMaRDI QIDQ287364

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