Jump to ContentJump to Main Navigation
Show Summary Details

Formalized Mathematics

(a computer assisted approach)

Editor-in-Chief: Matuszewski, Roman

4 Issues per year

SCImago Journal Rank (SJR) 2015: 0.134
Source Normalized Impact per Paper (SNIP) 2015: 0.686
Impact per Publication (IPP) 2015: 0.296

Open Access
See all formats and pricing
In This Section
Select Volume and Issue


Volume 22, Issue 2 (Jun 2014)

Special Issue: 25 years of the Mizar Mathematical Library

Comments (0)

Please log in or register to comment.
Log in