Volume 50, Issue 2

February 2013

Special Issue: Formal Mathematics for Mathematicians

Issue Editors:

11 articles in this issue

Formal Mathematics for Mathematicians
Andrzej Trybulec
Artur Kornilowicz
Krystyna Kuperberg
OriginalPaper Open access 01 November 2012 Pages: 119 - 121
Eliciting Implicit Assumptions of Mizar Proofs by Property Omission
Jesse Alama
OriginalPaper 06 November 2012 Pages: 123 - 133
The GOEDEL Program
Johan G. F. Belinfante
OriginalPaper 12 September 2012 Pages: 135 - 146
Custom Automations in Mizar
Marco Bright Caminati
Giuseppe Rosolini
OriginalPaper 01 November 2012 Pages: 147 - 160
Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar
Yuichi Futa
Hiroyuki Okazaki
Yasunari Shidama
OriginalPaper Open access 27 October 2012 Pages: 161 - 172
The HOL Light Theory of Euclidean Space
John Harrison
OriginalPaper 19 April 2012 Pages: 173 - 190
The Mizar Mathematical Library in OMDoc: Translation and Applications
Mihnea Iancu
Michael Kohlhase
Josef Urban
OriginalPaper 01 November 2012 Pages: 191 - 202
On Rewriting Rules in Mizar
Artur Korniłowicz
OriginalPaper Open access 14 September 2012 Pages: 203 - 210
On the Formalization of Theories
Jan Mycielski
OriginalPaper 02 December 2012 Pages: 211 - 216
Methods of Lemma Extraction in Natural Deduction Proofs
Karol Pąk
OriginalPaper Open access 04 November 2012 Pages: 217 - 228
ATP and Presentation Service for Mizar Formalizations
Josef Urban
Piotr Rudnicki
Geoff Sutcliffe
OriginalPaper 06 November 2012 Pages: 229 - 241

Search