# Formalized Mathematics

### (a computer assisted approach)

Editor-in-Chief: Matuszewski, Roman

SCImago Journal Rank (SJR) 2015: 0.134

Source Normalized Impact per Paper (SNIP) 2015: 0.686

Impact per Publication (IPP) 2015: 0.296

#### Open Access

## Overview

- Pioneering Journal in the field of formalized and mechanically checked mathematics.
- Excellent articles on latest research in formal methods and computer-checked mathematics.
- Full-length original research articles in English.
- Archival issues available at the journal's home page http://fm.mizar.org/

### Aims and Scope

- To build a uniform and extensible computer-checked repository of mathematical knowledge.
- Reconstruction of mathematics based on mechanization of mathematical reasoning.
- To check a wide range of mathematical theorems using a computer in an automatic fashion.
- General mathematics: especially topology, lattice theory, functional analysis.
- Applications: computer-aided verification of software and hardware, computer-aided teaching of mathematics.

**Why subscribe and read**

- Pioneering source of high quality research in formalized and mechanically checked mathematics.
- The oldest journal in the field, a medium for the publication of research reporting pioneering findings of broad mathematical significance that are likely to advance the direction and thinking of the field.
- Long-term experience in publishing original articles on mechanizing mathematics and various aspects of automated reasoning, since 1990.

**Why submit**

- Fair and constructive peer review by international experts in the field (three referees are designated for the assessment of each manuscript) - double-blind review process.
- New publishing technology: articles automatically translated from a formal language into English and automatically typeset, available in both forms - electronic and printed.
- Articles abstracted by online indexing services and databases.

**Rejection Rate**

- 59% of submitted articles.

The rejection percentage is described in detail in the following paper, pp.239-240: http://dx.doi.org/10.1007/978-3-540-73086-6_20

## Details

- DE GRUYTER OPEN
- Language:
- English
- Type of Publication:
- Journal
- Readership:
researchers in the fields of formal methods and computer-checked mathematics

## Submission of Manuscripts

### Instructions for Authors

**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**

- Kenichi Arai, Tokyo University of Science, Japan,
- Czeslaw Bylinski, University of Bialystok, Poland,
- Marco Caminati, University of St. Andrews, UK,
- Adam Grabowski, University of Bialystok, Poland,
- Cezary Kaliszyk, University of Innsbruck, Austria,
- Artur Kornilowicz, University of Bialystok, Poland,
- Xiquan Liang, Qingdao University of Science and Technology, China,
- Yatsuka Nakamura, Shinshu University, Japan,
- Adam Naumowicz, University of Bialystok, Poland,
- Hiroyuki Okazaki, Shinshu University, Japan,
- Karol Pąk, University of Bialystok, Poland,
- Marco Riccardi, University of Pisa, Italy,
- Christoph Schwarzweller, University of Gdansk, Poland,
- Josef Urban, Radboud University, the Netherlands,
- Katsumi Wasaki, Shinshu University, Japan,
- Yasushige Watase, Tokyo, Japan
- Freek Wiedijk, Radboud University, the Netherlands.

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: http://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

(http://creativecommons.org/licenses/by-sa/3.0/).

A detailed report on choosing the license: http://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

ul. Ciolkowskiego 1 M

15-245 Bialystok, Poland

by e-mail: mml@mizar.uwb.edu.pl

## More ...

### Back Issues

**Other Files**

Addenda 2008

Formalized Mathematics Bibliography File.

Formalized Mathematics External Bibliography File.

## Abstracting & Indexing

*Formalized Mathematics* is covered by the following services:

- Arianta
- ArnetMiner
- Baidu Scholar
- Cabell's Directory
- Celdes
- CiteSeerX
- CNKI Scholar (China National Knowledge Infrastructure)
- CNPIEC
- DBLP Computer Science Bibliography
- DOAJ (Directory of Open Access Journals)
- EBSCO (relevant databases)
- EBSCO Discovery Service
- Electronic Journals Library
- Genamics JournalSeek
- Google Scholar
- Index Copernicus
- J-Gate
- JournalTOCs
- KESLI-NDSL (Korean National Discovery for Science Leaders)
- Microsoft Academic
- Naviga (Softweco)
- NewJour - Electronic Journals & Newsletters
- POL-index
- Primo Central (ExLibris)
- ReadCube
- ResearchGate
- Summon (Serials Solutions/ProQuest)
- TDNet
- The Polish Digital Mathematical Library (DML-PL)
- Ulrich's Periodicals Directory/ulrichsweb
- WanFang Data
- WorldCat (OCLC)
- WorldWideScience.org
- Zentralblatt Math (zbMATH)

## Editorial Information

**Editor-in-Chief**Roman Matuszewski, University of Bialystok, Poland

**Scientific Editor**

Grzegorz Bancerek, Bialystok Technical University, Poland

**Language Editor**Pauline N. Kawamoto, Shinshu University, Japan

**Editorial Board**

- Jesse Alama, Stanford University, USA,

Thematic Editor - Logic - Krystyna Kuperberg, Auburn University, USA,

Thematic Editor - Mathematics - John Harrison, Intel Corporation, USA,

Thematic Editor - Computer Science - William W. Armstrong, University of Alberta, Canada,
- Andrej Bauer, University of Ljubljana, Slovenia
- Robert S. Boyer, University of Texas at Austin, USA,
- Czeslaw Bylinski, University of Bialystok, Poland,
- Noboru Endou, Gifu National College of Technology, Japan,
- Pawel Gburzynski, Olsonet Communications Corporation, Canada,
- Adam Grabowski, University of Bialystok, Poland,
- Klaus Grue, University of Copenhagen, Denmark,
- Fairouz Kamareddine, Heriot-Watt University, UK,
- Pauline N. Kawamoto, Shinshu University, Japan,
- Michael Kohlhase, Jacobs University, Germany,
- Artur Kornilowicz, University of Bialystok, Poland,
- John Mayer, University of Alabama at Birmingham, USA,
- Adam Naumowicz, University of Bialystok, Poland,
- Alexander Shibakov, Tennessee Tech University, USA,
- Yasunari Shidama, Shinshu University, Japan,
- Geoff Sutcliffe, University of Miami, USA

**Contact**dr Roman Matuszewski

University of Bialystok

Plac Uniwersytecki 1

15-420 Białystok

Poland

mobile: +48 603 491 986

fax: + 48 85 745 74 78

e-mail: romat@mizar.org

**Publisher**DE GRUYTER OPEN

Bogumiła Zuga 32A Str.

01-811 Warsaw, Poland

T: +48 22 701 50 15

## Comments (0)