Formalized Mathematics Jump to ContentJump to Main Navigation
Show Summary Details

Formalized Mathematics

(a computer assisted approach)


SCImago Journal Rank (SJR) 2014: 0.114
Source Normalized Impact per Paper (SNIP) 2014: 0.340
Impact per Publication (IPP) 2014: 0.089

DE GRUYTER OPEN

Open Access

    Open Access
    Online
    ISSN
    1898-9934
    See all formats and pricing
    


    Select Volume and Issue
    Loading journal volume and issue information...

    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

    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

    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

    http://fm.mizar.org/


    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
    • EBSCO (relevant databases)
    • EBSCO Discovery Service
    • Electronic Journals Library
    • Elsevier - SCOPUS
    • Genamics JournalSeek
    • Google Scholar
    • Index Copernicus
    • J-Gate
    • JournalTOCs
    • Naviga (Softweco)
    • NewJour - Electronic Journals & Newsletters
    • POL-index
    • Primo Central (ExLibris)
    • ReadCube
    • ResearchGate
    • SCImago (SJR)
    • Summon (Serials Solutions/ProQuest)
    • TDOne (TDNet)
    • The Polish Digital Mathematical Library (DML-PL)
    • Ulrich's Periodicals Directory/ulrichsweb
    • 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

    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)

    Please log in or register to comment.