Formalized Mathematics
Formalized Mathematics
ISSN: 1426-2630 (print version)
ISSN: 1898-9934 (electronic version)
owner: University of Bialystok
publisher: Versita
distributor: University of Bialystok
Why subscribe and read
- premier source of high quality research
- articles authored by researchers from all over the world, who appreciate our fast, fair and constructive peer review
Why submit
- fast, fair and constructive peer review
- automatically typeset and translated into English
Description
- scope: all areas of mathematics
- premier journal published computer checked mathematical papers
Editors
- Editor-in-Chief: Roman Matuszewski, University of Bialystok, Poland
- Scientific Editor: Grzegorz Bancerek, Bialystok Technical University, Poland
- Language Editor: Zdzisław Głębocki, University of Bialystok, Poland
