×

zbMATH — the first resource for mathematics

Examples
"J* Math* Soc*" Wildcard searches for journals are especially useful since users might not know the full title and abbreviations might vary.
sn: 0020-9910 Search for journal's ISSN. Both electronic and print ISSN are accepted.
pu: ( Osnova | Nauka ) Search for journal's publisher. The usual operators and, or, not are supported.

Operators
a & b logic and abc* right wildcard
a | b logic or "ab c" phrase
!ab logic not (ab c) parentheses
Fields
any anywhere
jt journal / series title
sn issn
pu publisher

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: 181 Publications since 2011

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription