Why subscribe and read
Why submit
Rejection Rate
The rejection percentage is described in detail in the following paper, pp.239-240: dx.doi.org/10.1007/978-3-540-73086-6_20
Archiving
Sciendo archives the contents of this journal in Portico - digital long-term preservation service of scholarly books, journals and collections.
Plagiarism Policy
The editorial board is participating in a growing community of Similarity Check System's users in order to ensure that the content published is original and trustworthy. Similarity Check is a medium that allows for comprehensive manuscripts screening, aimed to eliminate plagiarism and provide a high standard and quality peer-review process.
Other Files
Addenda 2008
Formalized Mathematics Bibliography File.
Formalized Mathematics External Bibliography File.
"In years: 2016-2017, the English version of Formalized Mathematics was financed under agreements 548/P-DUN/2016 and 548/1/P-DUN/2016 with the funds from the Polish Minister of Science and Higher Education for the dissemination of science."
Formalized Mathematics is covered by the following services:
Formalized Mathematics is issued quarterly and publishes papers which are abstracts of Mizar articles contributed to the Mizar Mathematical Library (MML).
The main version of the Journal is the electronic version.
The official abbreviation of the Journal is: Formaliz. Math.
List of Reviewers
All papers are reviewed by at least three experts from the relevant field (double-blind review process).
How to review formalized mathematics - guidelines by A. Bauer.
The reviewing process is described in detail in the following paper, pp.239-240: dx.doi.org/10.1007/978-3-540-73086-6_20, (pdf file)
Journal Authorship Policy (ghost-writing and guest authorship) is here.
Mathematical Proof-Checked Journal - all papers are checked by the Mizar System and automatically translated into English.
Articles are available under the Creative Commons Attribution-ShareAlike License (CC-BY-SA) version 3.0 Unported (creativecommons.org/licenses/by-sa/3.0/).
A detailed report on choosing the license: arxiv.org/abs/1107.3212.
Open Access Policy: this journal provides immediate open access to its content.
The journal does not have article processing charges (APCs) nor article submission charges.
Articles should be submitted to:
Adam Grabowski,
Institute of Informatics
University of Bialystok
ul. Ciolkowskiego 1 M
15-245 Bialystok, Poland
by e-mail: mml@mizar.uwb.edu.pl
Editor-in-Chief
Roman Matuszewski, University of Bialystok, Poland
Language Editor
Pauline N. Kawamoto, Shinshu University, Japan
Senior Advisory Board
Editorial Board
Contact
dr Roman Matuszewski
University of Bialystok
Institute of Informatics
ul. Ciolkowskiego 1 M, room 2021
15-245 Białystok
Poland
mobile: +48 603 491 986
e-mail: romat@mizar.org
Publisher
De Gruyter Poland
Bogumiła Zuga 32A Str.
01-811 Warsaw, Poland
T: +48 22 701 50 15
researchers in the fields of formal methods and computer-checked mathematics