What is the Impact Factor of Formalized Mathematics?

According to the latest Clarivate Journal Citation Reports (JCR), the Journal Impact Factor of Formalized Mathematics is 0.70, ranking in quartile Q3 of Web of Science (ESCI).

Is Formalized Mathematics indexed in Web of Science or Scopus?

Yes, Formalized Mathematics is indexed in Web of Science (ESCI, Q3 quartile). Furthermore, in Scopus (SCImago), it holds an SJR rating of N/A (Q3) and an H-index of N/A.

Who publishes Formalized Mathematics and what is the Article Processing Charge (APC)?

Formalized Mathematics is published by Sciendo. For exact article processing charges and subscription guidelines, consult the official editorial guidelines.

WoS ESCI Q3Gold OA

Formalized Mathematics

Identifier (ISSN):1898-9934(Online)

•

Publisher:Sciendo

Clarivate JCR Index Advisory: Active (ESCI)

Official Website Submission Portal Compare

Clarivate IF (2026)

0.7↓ -0.3

Journal Impact Factor

IF Trend↓

WoS Quartile

WoS ESCIJCR Quartile

Clarivate WoS JCR

WoS Categories↓

JCR Release Date: 2026-06-17

Impact Factor Trend (2023–2026)

Clarivate IF trend for Formalized Mathematics

WoS Q3

Annual Impact Factor Metric

Current (2026):0.7

Scopus SJR & Rank

N/A

SCImago Journal Rank citation prestige weighting

Scopus / Elsevier Data

H-Index (Hirsch Index)

N/A

papers with at least that number of citations each

WoS: ESCIQ3

Self-Citation Rate80%

Safe Level (< 15%)Warning Level (> 20%)

Self-citation below 15% indicates strong scholarly independence.

Volume & Open AccessGold OA

14articles/year

100% Gold OA•100% Original Research

Aims & Scope

Formalized Mathematics is to be issued quarterly and publishes papers which are abstracts of Mizar articles contributed to the Mizar Mathematical Library (MML) - the basis of a knowledge management system for mathematics.

Topics Covered (Recognized by AI)

MathematicsComputer ScienceMathematical AnalysisPhilosophyProgramming LanguagesGeometryBiologyPhysicsLinguisticsChemistryGenetics

Primary Research Areas

Mathematics

Official Website NLM PubMed Catalog

0 calls

Special Issues

Calls for Papers

No active Calls for Papers found for this journal.

Expand

WoS Categories & Quartiles

Detailed JCR / JCI category rankings and quartile breakdown from Clarivate

Clarivate JCR & JCI

JCRESCI2026

MATHEMATICS

Rank259/492

IndexESCI

JCIESCI2026

MATHEMATICS

Rank153/492

IndexESCI

Category	Index	Rank	Quartile
MATHEMATICS	JCRESCI	259/492	Q3
MATHEMATICS	JCIESCI	153/492	Q2

Annual Historical Statistics & Publications

Track annual publication volume, total citations, and Impact Factor evolution

13 year

2026Latest

IF0.7

Articles / Year—

Total Citations—

2025

IF1

Articles / Year20

Total Citations6

2024

IF1

Articles / Year24

Total Citations21

2023

IF0.3

Articles / Year27

Total Citations99

2022

IF—

Articles / Year23

Total Citations79

Year	Impact Factor	Articles / Year	Total Citations
2026	0.7	—	—
2025	1	20	6
2024	1	24	21
2023	0.3	27	99
2022	—	23	79
2021	—	24	61
2020	—	25	55
2019	—	28	57
2018	—	24	88
2017	—	29	100
2016	—	26	109
2015	—	31	190
2014	—	32	105

SCImago & Scopus Journal Intelligence

Not indexed in SCImago / Scopus database

This journal is currently not indexed in Scopus or is an academic publication indexed exclusively in Web of Science (WoS).

Academic Metric Intelligence

Journal Metrics & Citation Visualizations

Total Cites vs Self-Cites

Evaluation of scholarly independence and citation reach

Total citations steady growth

Self-citation: 80%

Citations per Document

Citation metric windows across 2, 3, and 4 years

Cites / Doc (4 years)Cites / Doc (3 years)Cites / Doc (2 years)

Chinese Academy of Sciences (CAS) Classification

Major / minor zone classification and CAS Early Warning List history

Major Category (Broad Field):

2区 (Zone 2)Mathematics

Minor Category (Specific Field):

2区MATHEMATICS

CAS Early Warning List History:

Updated annually: 2020 – 2024

2020

Not warned

2021

Not warned

2022

Not warned

2023

Not warned

2024

Not warned

Academic Intelligence Overview & Context

ImpaQ Analysis

Formalized Mathematics is a peer-reviewed international scholarly journal in the field of MATHEMATICS, published by Sciendo in Poland. The periodical holds a Journal Impact Factor (JIF) of 0.70, ranking in quartile Q3 of Web of Science (ESCI).

The journal enforces rigorous peer evaluation with an annual output of approximately 14 scientific articles. In terms of accessibility and author fees, it operates under the Gold OA model with APC fees are not specified. It serves as a benchmark publication platform for academics, researchers, and doctoral candidates seeking global research visibility.