Markus Wenzel

According to our database, Markus Wenzel authored at least 49 papers between 1997 and 2022.

Collaborative distances:

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

2022

Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode.

Klaus Miesenberger, Walther Neuper, Bernhard Stöger, Makarius Wenzel

Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 2022

Seventeen Provers Under the Hammer.

Martin Desharnais, Petar Vukmirovic, Jasmin Blanchette, Makarius Wenzel

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover.

Bernhard Stöger, Klaus Miesenberger, Walther Neuper, Makarius Wenzel, Thomas Neumayr

Proceedings of the Computers Helping People with Special Needs, 2022

2021

CICM'21 Systems Entries.

Martin Líska, Dávid Lupták, Vít Novotný, Michal Ruzicka, Boris Shminke, Petr Sojka, Michal Stefánik, Makarius Wenzel

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

2019

From LCF to Isabelle/HOL.

Lawrence C. Paulson, Tobias Nipkow, Makarius Wenzel

Formal Aspects Comput., 2019

Isabelle technology for the Archive of Formal Proofs.

Makarius Wenzel

CoRR, 2019

Making Isabelle Content Accessible in Knowledge Representation Formats.

Michael Kohlhase, Florian Rabe, Makarius Wenzel

Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019

Isabelle technology for the Archive of Formal Proofs with application to MMT.

Makarius Wenzel

Proceedings of the Joint Proceedings of the FMM and LML Workshops, 2019

Interaction with Formal Mathematical Documents in Isabelle/PIDE.

Makarius Wenzel

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

Relational Data Across Mathematical Libraries.

Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

Virtualization of HOL4 in Isabelle.

Fabian Immler, Jonas Rädle, Makarius Wenzel

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents.

Makarius Wenzel

Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

2016

Eisbach: A Proof Method Language for Isabelle.

Daniel Matichuk, Toby C. Murray, Makarius Wenzel

J. Autom. Reason., 2016

2014

System description: Isabelle/jEdit in 2014.

Makarius Wenzel

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

Transitive closure according to Roy-Floyd-Warshall.

Makarius Wenzel

Arch. Formal Proofs, 2014

Asynchronous User Interaction and Tool Integration in Isabelle/PIDE.

Makarius Wenzel

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

An Isabelle Proof Method Language.

Daniel Matichuk, Makarius Wenzel, Toby C. Murray

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013

PIDE as front-end technology for Coq

Makarius Wenzel

CoRR, 2013

Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems.

Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff

Proceedings of the Intelligent Computer Mathematics, 2013

A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.

Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger

Proceedings of the Intelligent Computer Mathematics, 2013

Shared-Memory Multiprocessing for Interactive Theorem Proving.

Makarius Wenzel

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

The Circus Testing Theory Revisited in Isabelle/HOL.

Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff

Proceedings of the Formal Methods and Software Engineering, 2013

2012

READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking.

Makarius Wenzel

Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012

Isabelle/jEdit - A Prover IDE within the PIDE Framework.

Makarius Wenzel

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Isabelle/PIDE as Platform for Educational Tools

Makarius Wenzel, Burkhart Wolff

Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

Isabelle as Document-Oriented Proof Assistant.

Makarius Wenzel

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

Preface.

Jacques Carette, Makarius Wenzel, Freek Wiedijk

J. Autom. Reason., 2010

Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit.

Makarius Wenzel

Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010

Efficient parallel programming in Poly/ML and Isabelle/ML.

David C. J. Matthews, Makarius Wenzel

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

2009

State Spaces - The Locale Way.

Norbert Schirmer, Makarius Wenzel

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

2008

Local Theory Specifications in Isabelle/Isar.

Florian Haftmann, Makarius Wenzel

Proceedings of the Types for Proofs and Programs, International Conference, 2008

The Isabelle Framework.

Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Logic-Free Reasoning in Isabelle/Isar.

Stefan Berghofer, Makarius Wenzel

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Building Formal Method Tools in the Isabelle/Isar Framework.

Makarius Wenzel, Burkhart Wolff

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

Context Aware Calculation and Deduction.

Amine Chaieb, Makarius Wenzel

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006

Constructive Type Classes in Isabelle.

Florian Haftmann, Makarius Wenzel

Proceedings of the Types for Proofs and Programs, International Workshop, 2006

Isabelle/Isar.

Markus Wenzel, Lawrence C. Paulson

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

Structured Induction Proofs in Isabelle/Isar.

Makarius Wenzel

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

2002

Isabelle, Isar - a versatile environment for human readable formal proof documents.

Markus Wenzel

PhD thesis, 2002

A Comparison of Mizar and Isar.

Markus Wenzel, Freek Wiedijk

J. Autom. Reason., 2002

Isabelle/HOL - A Proof Assistant for Higher-Order Logic

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Lecture Notes in Computer Science 2283, Springer, ISBN: 3-540-43376-7, 2002

2001

Calculational Reasoning Revisited (An Isabelle/Isar Experience).

Gertrud Bauer, Markus Wenzel

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

1999

Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar).

Gertrud Bauer, Markus Wenzel

Proceedings of the Types for Proofs and Programs, 1999

Isar - A Generic Interpretative Approach to Readable Formal Proof Documents.

Markus Wenzel

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

Locales - A Sectioning Concept for Isabelle.

Florian Kammüller, Markus Wenzel, Lawrence C. Paulson

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering.

Stefan Berghofer, Markus Wenzel

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1998

Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic.

Wolfgang Naraschewski, Markus Wenzel

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1997

Type Classes and Overloading in Higher-Order Logic.

Markus Wenzel

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997