Mizar is a formal proof assistant system that enables the writing and verification of mathematical proofs in a style close to natural textbook mathematics, distinguished by its use of a structured, declarative language and a foundational reliance on Tarski-Grothendieck set theory.
56
Publications
2.5K
Citations
56
Authors
35
Institutions
Publications per year
2017–2026
12
Parents
Publications
56
Tarski Grothendieck Set Theory
Andrzej Trybulec · 1990 · 482 citations
Adam Grabowski, Artur Korniłowicz, Adam Naumowicz · Journal of Automated Reasoning · 2015 · 131 citations · Full text
DeepMath - Deep Sequence Models for Premise Selection
Alex Alemi, François Chollet, Niklas Eén et al. · arXiv (Cornell University) · 2016 · 117 citations · Full text
1–5 of 56
Authors
56
- JU
14
h-index
- AG
10
h-index
- AK
9
h-index
- AN
7
h-index
- CK
5
h-index
1–5 of 56
Institutions
35
University of Białystok
Bialystok, Poland
13 h-index
31 publications
2.5K citations
Radboud University Nijmegen
Nijmegen, The Netherlands
7 h-index
9 publications
351 citations
Universität Innsbruck
Innsbruck, Austria
6 h-index
7 publications
196 citations
Czech Technical University in Prague
Prague, Czechia
5 h-index
7 publications
147 citations
University of Gdańsk
Gdansk, Poland
3 h-index
3 publications
76 citations
University of Alberta
Edmonton, Canada
3 h-index
3 publications
138 citations
United States Naval Research Laboratory
Washington, United States
2 h-index
3 publications
226 citations
Institute of Informatics of the Slovak Academy of Sciences
Bratislava, Slovakia
2 h-index
3 publications
301 citations
1–8 of 35
Venues
- Journal of Automated Reasoning
9 publications · 654 citations
9
h-index
- Formalized Mathematics
8 publications · 118 citations
8
h-index
- arXiv (Cornell University)
Repository · 4 publications · 184 citations
4
h-index
- Annals of Computer Science and Information Systems
Conference · 4 publications · 88 citations
4
h-index
- Journal of Applied Logic
2 publications · 67 citations
2
h-index
1–5