×
Author ID: wenzel.makarius Recent zbMATH articles by "Wenzel, Makarius"
Published as: Wenzel, Makarius
Homepage: http://www4.in.tum.de/~wenzelm
External Links: dblp

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 160 times in 117 Documents Cited by Year
Constructive type classes in Isabelle. Zbl 1178.68529
Haftmann, Florian; Wenzel, Makarius
29
2007
The Isabelle framework. Zbl 1165.68478
Wenzel, Makarius; Paulson, Lawrence C.; Nipkow, Tobias
28
2008
Local theory specifications in Isabelle/Isar. Zbl 1246.68197
Haftmann, Florian; Wenzel, Makarius
11
2009
From LCF to Isabelle/HOL. Zbl 1427.68349
Paulson, Lawrence C.; Nipkow, Tobias; Wenzel, Makarius
9
2019
Isabelle/jEdit – a prover IDE within the PIDE framework. Zbl 1360.68769
Wenzel, Makarius
8
2012
Eisbach: a proof method language for Isabelle. Zbl 1356.68195
Matichuk, Daniel; Murray, Toby; Wenzel, Makarius
8
2016
Context aware calculation and deduction. Ring equalities via Gröbner bases in Isabelle. Zbl 1202.68375
Chaieb, Amine; Wenzel, Makarius
8
2007
Building formal method tools in the Isabelle/Isar framework. Zbl 1144.68369
Wenzel, Makarius; Wolff, Burkhart
8
2007
Asynchronous user interaction and tool integration in Isabelle/PIDE. Zbl 1416.68182
Wenzel, Makarius
7
2014
Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit. Zbl 1294.68129
Wenzel, Makarius
5
2012
A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577
Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang
5
2013
Interaction with formal mathematical documents in Isabelle/PIDE. Zbl 1428.68347
Wenzel, Makarius
5
2019
Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Zbl 1173.68002
4
2009
Isabelle as document-oriented proof assistant. Zbl 1335.68239
Wenzel, Makarius
3
2011
Logic-free reasoning in Isabelle/Isar. Zbl 1166.68337
Berghofer, Stefan; Wenzel, Makarius
3
2008
An Isabelle proof method language. Zbl 1416.68172
Matichuk, Daniel; Wenzel, Makarius; Murray, Toby
3
2014
Interactive theorem proving from the perspective of Isabelle/Isar. Zbl 1431.68125
Wenzel, Makarius
3
2015
Relational data across mathematical libraries. Zbl 1428.68352
Condoluci, Andrea; Kohlhase, Michael; Müller, Dennis; Rabe, Florian; Sacerdoti Coen, Claudio; Wenzel, Makarius
3
2019
Structured induction proofs in Isabelle/Isar. Zbl 1188.68266
Wenzel, Makarius
2
2006
Shared-memory multiprocessing for interactive theorem proving. Zbl 1317.68235
Wenzel, Makarius
2
2013
The Isabelle/Naproche natural language proof assistant. Zbl 07437104
De Lon, Adrian; Koepke, Peter; Lorenzen, Anton; Marti, Adrian; Schütz, Marcel; Wenzel, Makarius
2
2021
Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Zbl 1245.68013
1
2012
CICM’21 systems entries. Zbl 1485.68300
Líška, Martin; Lupták, Dávid; Novotný, Vít; Růžička, Michal; Shminke, Boris; Sojka, Petr; Štefánik, Michal; Wenzel, Makarius
1
2021
Pervasive parallelism in highly-trustable interactive theorem proving systems. Zbl 1390.68571
Barras, Bruno; del Carmen González Huesca, Lourdes; Herbelin, Hugo; Régis-Gianas, Yann; Tassi, Enrico; Wenzel, Makarius; Wolff, Burkhart
1
2013
Making Isabelle content accessible in knowledge representation formats. Zbl 07756106
Kohlhase, Michael; Rabe, Florian; Wenzel, Makarius
1
2020
The Isabelle/Naproche natural language proof assistant. Zbl 07437104
De Lon, Adrian; Koepke, Peter; Lorenzen, Anton; Marti, Adrian; Schütz, Marcel; Wenzel, Makarius
2
2021
CICM’21 systems entries. Zbl 1485.68300
Líška, Martin; Lupták, Dávid; Novotný, Vít; Růžička, Michal; Shminke, Boris; Sojka, Petr; Štefánik, Michal; Wenzel, Makarius
1
2021
Making Isabelle content accessible in knowledge representation formats. Zbl 07756106
Kohlhase, Michael; Rabe, Florian; Wenzel, Makarius
1
2020
From LCF to Isabelle/HOL. Zbl 1427.68349
Paulson, Lawrence C.; Nipkow, Tobias; Wenzel, Makarius
9
2019
Interaction with formal mathematical documents in Isabelle/PIDE. Zbl 1428.68347
Wenzel, Makarius
5
2019
Relational data across mathematical libraries. Zbl 1428.68352
Condoluci, Andrea; Kohlhase, Michael; Müller, Dennis; Rabe, Florian; Sacerdoti Coen, Claudio; Wenzel, Makarius
3
2019
Eisbach: a proof method language for Isabelle. Zbl 1356.68195
Matichuk, Daniel; Murray, Toby; Wenzel, Makarius
8
2016
Interactive theorem proving from the perspective of Isabelle/Isar. Zbl 1431.68125
Wenzel, Makarius
3
2015
Asynchronous user interaction and tool integration in Isabelle/PIDE. Zbl 1416.68182
Wenzel, Makarius
7
2014
An Isabelle proof method language. Zbl 1416.68172
Matichuk, Daniel; Wenzel, Makarius; Murray, Toby
3
2014
A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577
Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang
5
2013
Shared-memory multiprocessing for interactive theorem proving. Zbl 1317.68235
Wenzel, Makarius
2
2013
Pervasive parallelism in highly-trustable interactive theorem proving systems. Zbl 1390.68571
Barras, Bruno; del Carmen González Huesca, Lourdes; Herbelin, Hugo; Régis-Gianas, Yann; Tassi, Enrico; Wenzel, Makarius; Wolff, Burkhart
1
2013
Isabelle/jEdit – a prover IDE within the PIDE framework. Zbl 1360.68769
Wenzel, Makarius
8
2012
Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit. Zbl 1294.68129
Wenzel, Makarius
5
2012
Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Zbl 1245.68013
1
2012
Isabelle as document-oriented proof assistant. Zbl 1335.68239
Wenzel, Makarius
3
2011
Local theory specifications in Isabelle/Isar. Zbl 1246.68197
Haftmann, Florian; Wenzel, Makarius
11
2009
Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Zbl 1173.68002
4
2009
The Isabelle framework. Zbl 1165.68478
Wenzel, Makarius; Paulson, Lawrence C.; Nipkow, Tobias
28
2008
Logic-free reasoning in Isabelle/Isar. Zbl 1166.68337
Berghofer, Stefan; Wenzel, Makarius
3
2008
Constructive type classes in Isabelle. Zbl 1178.68529
Haftmann, Florian; Wenzel, Makarius
29
2007
Context aware calculation and deduction. Ring equalities via Gröbner bases in Isabelle. Zbl 1202.68375
Chaieb, Amine; Wenzel, Makarius
8
2007
Building formal method tools in the Isabelle/Isar framework. Zbl 1144.68369
Wenzel, Makarius; Wolff, Burkhart
8
2007
Structured induction proofs in Isabelle/Isar. Zbl 1188.68266
Wenzel, Makarius
2
2006
all top 5

Cited by 205 Authors

11 Kaliszyk, Cezary
9 Wenzel, Makarius
7 Popescu, Andrei
6 Kohlhase, Michael
6 Nipkow, Tobias
6 Paulson, Lawrence Charles
5 Kumar, Ramana
5 Rabe, Florian
5 Urban, Josef
4 Blanchette, Jasmin Christian
4 Gauthier, Thibault
4 Kunčar, Ondřej
4 Pąk, Karol
4 Traytel, Dmitry
4 Weber, Tjark
3 Böhme, Sascha
3 Lochbihler, Andreas
3 Wolff, Burkhart
2 Aransay, Jesús
2 Armstrong, Alasdair
2 Arthan, Rob D.
2 Ballarin, Clemens
2 Brucker, Achim D.
2 Ciabattoni, Agata
2 Dubut, Jérémy
2 Fleuriot, Jacques D.
2 Geuvers, Jan Herman
2 Gunther, Emmanuel
2 Guttmann, Walter
2 Hölzl, Johannes
2 Hupel, Lars
2 Immler, Fabian
2 Kerber, Manfred
2 Koepke, Peter
2 Lange, Christoph
2 Lorenzen, Anton
2 Maletzky, Alexander
2 Müller, Dennis
2 Myreen, Magnus O.
2 Pagano, Miguel
2 Roßkopf, Simon
2 Rowat, Colin
2 Sánchez Terraf, Pedro
2 Schlichtkrull, Anders
2 Shminke, Boris A.
2 Spendier, Lara
2 Struth, Georg
2 Tassi, Enrico
2 Urban, Christian
2 Yamada, Akihisa
1 Aitken, Dave
1 Avigad, Jeremy
1 Barras, Bruno
1 Basin, David A.
1 Bauereiß, Thomas
1 Bengtson, Jesper
1 Benzmüller, Christoph Ewald
1 Bérard, Béatrice
1 Berges, Marc
1 Betzendahl, Jonas
1 Bockenek, Joshua A.
1 Bøgsted Poulsen, Danny
1 Bohrer, Brandon
1 Bollig, Benedikt
1 Bourke, Timothy
1 Bray, Matthew G.
1 Brown, Chad Edward
1 Bulwahn, Lukas
1 Bundy, Alan
1 Caminati, Marco Bright
1 Carette, Jacques
1 Carneiro, Mario M.
1 Chaieb, Amine
1 Chugh, Abhishek
1 Cruanes, Simon
1 De Lon, Adrian
1 de Moura, Leonardo
1 Divasón, Jose
1 Doczkal, Christian
1 Džamonja, Mirna
1 Edmonds, Chelsea
1 Fallenstein, Benya
1 Färber, Michael
1 Farmer, William M.
1 Fleury, Mathias
1 Foster, Simon
1 Fox, Anthony C. J.
1 Fulton, Nathan
1 Garillot, François
1 Gast, Holger
1 Génevaux, Jean-David
1 Gleirscher, Mario
1 Gonthier, Georges
1 Grov, Gudmund
1 Haftmann, Florian
1 Hales, Thomas Callister
1 Heller, Armin
1 Heras, Jónathan
1 Hillenbrand, Thomas
1 Höfner, Peter
...and 105 more Authors

Citations by Year