Formalized Mathematics

(a computer assisted approach)

Journal Information

CiteScore 2018: 0.42

SCImago Journal Rank (SJR) 2018: 0.111
Source Normalized Impact per Paper (SNIP) 2018: 0.169



Target Group

researchers in the fields of formal methods and computer-checked mathematics