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: https://content.sciendo.com/view/journals/forma/forma-overview.xml
Comments: Indexed cover-to-cover; This journal is published open access.
Documents indexed: 233 Publications (since 2011)
References indexed: 224 Publications with 5,134 References

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription