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
Comments: Indexed cover-to-cover
Documents indexed: 211 Publications since 2011
References indexed: 211 Publications with 4,979 References

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription