Ausgabe 2/2013
Special Issue: Formal Mathematics for Mathematicians
Inhalt (11 Artikel)
Open Access
Formal Mathematics for Mathematicians
Andrzej Trybulec, Artur Kornilowicz, Adam Naumowicz, Krystyna Kuperberg
Open Access
Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
The Mizar Mathematical Library in OMDoc: Translation and Applications
Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban