Formalized Mathematics

Aims & Scope

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

Metrics & Ranking

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar
• Web of Science

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Mathematics, designed to support cutting-edge academic discovery.

Licensing & Copyright

This journal operates under an Open Access model. Articles are freely accessible to the public immediately upon publication. The content is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0), allowing users to share and adapt the work with proper attribution.

Copyright remains with the author(s), and no permission is required for non-commercial use, provided the original source is cited.

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• Chebyshev Distance

  Citation: 33

  Authors: Roland

• Kleene Algebra of Partial Predicates

  Citation: 15

  Authors: Artur, Ievgen, Mykola

• Partial Differentiation on Normed Linear Spaces Rn

  Citation: 11

  Authors: Noboru, Yasunari, Keiichi

• Arrow's Impossibility Theorem

  Citation: 11

  Authors: Freek

• Cartesian Products of Family of Real Linear Spaces

  Citation: 11

  Authors: Hiroyuki, Noboru, Yasunari

• Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations

  Citation: 11

  Authors: Ievgen, Mykola, Andrii, Artur

• Solution of Cubic and Quartic Equations

  Citation: 10

  Authors: Marco

• Several Differentiation Formulas of Special Functions. Part V

  Citation: 10

  Authors: Peng, Bo

• The Rank+Nullity Theorem

  Citation: 9

  Authors: Jesse

• Integrability and the Integral of Partial Functions from R into R1

  Citation: 8

  Authors: Noboru, Yasunari, Masahiko