×

zbMATH — the first resource for mathematics

Formalized Mathematics

Short Title: Formaliz. Math.
Publisher: De Gruyter (Sciendo), Warsaw; University of Białystok, Białystok
ISSN: 1426-2630; 1898-9934/e
Online: http://www.degruyter.com/view/j/forma
http://fm.mizar.org/
Comments: Indexed cover-to-cover; This journal is published open access.
Documents indexed: 224 Publications (since 2011)
References indexed: 224 Publications with 5,134 References

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription