×

zbMATH — the first resource for mathematics

Formalized Mathematics

Short Title: Formaliz. Math.
ISSN: 1426-2630; 1898-9934/e
Publisher: De Gruyter (De Gruyter Open), Warsaw; University of Białystok, Białystok
Online: http://www.degruyter.com/view/j/forma
http://fm.mizar.org/
Comments: Indexed cover-to-cover
Documents indexed: 195 Publications since 2011

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription