Journal profile · MATHEMATICS
Formalized Mathematics
ISSN 1898-9934 · Sciendo · Poland
Formalized Mathematics: CAS Zone 2 · Mathematics (2025 upgraded edition); fully open access; no APC; review about 10 weeks (community reports); 20 articles in 2025; indexed in ESCI.
Scope
Aims, scope and focus
Formalized Mathematics is published by Sciendo and is in Zone 2 of Mathematics in the CAS Journal Ranking (2025 upgraded edition). By OpenAlex counts of its recent articles, its largest topics are Logic, programming, and type systems, Advanced Algebra and Logic and Mathematics and Applications, together about 28.3% of its articles. Its main subfields are Computational Theory and Mathematics and Artificial Intelligence. (generated from OpenAlex topic counts and CAS ranking data)
Research area (LetPub): MATHEMATICS
Main research topics OpenAlex counts of recent articles; shares are approximate
- Logic, programming, and type systemsComputer Science12.6%
- Advanced Algebra and LogicComputer Science8.3%
- Mathematics and ApplicationsMathematics7.4%
- Security and Verification in ComputingComputer Science6.1%
- History and Theory of MathematicsMathematics5.4%
- Logic, Reasoning, and KnowledgeComputer Science4.6%
- Polynomial and algebraic computationComputer Science4.4%
- Formal Methods in VerificationComputer Science4.1%
Rankings & indexing
CAS ranking and database indexing
CAS Journal Ranking
CAS Journal Ranking, upgraded edition (March 2025)Mathematics Zone 2
| Level | Category | Zone |
|---|---|---|
| Major | Mathematics | Zone 2 |
| Minor | Mathematics | Zone 2 |
Top journal: noReview journal: no
CAS Xinrui Journal Ranking (March 2026)Mathematics Zone 2
| Level | Category | Zone |
|---|---|---|
| Major | Mathematics | Zone 2 |
| Minor | Mathematics | Zone 2 |
Top journal: noReview journal: not marked
CAS Journal Ranking, previous upgraded edition (December 2023)Not covered
Not covered by this edition.
Database indexing
ESCILetPub
International journal early-warning lists: not listed in any editionLetPub
Editions, and major and minor categories, are shown separately and never merged into one zone; check which edition your institution uses before you submit or report.
Metrics
Impact metrics and publication volume
Impact
- h-index
- 15OpenAlex ·
- i10-index
- 40OpenAlex ·
- 2-year mean citedness
- 0.63OpenAlex ·
- Share of gold OA articles
- 100%LetPub ·
Volume
- Articles per year
- 20LetPub ·
Articles by year OpenAlex count · 577 in total · the current year is incomplete
| Year | Articles | Open access | Citations |
|---|---|---|---|
| 2026 | 2 | 2 | 0 |
| 2025 | 20 | 20 | 8 |
| 2024 | 24 | 24 | 21 |
| 2023 | 27 | 27 | 101 |
| 2022 | 23 | 23 | 80 |
| 2021 | 24 | 24 | 63 |
Sources count differently and were observed at different times, so each source's own value is kept; "publisher" marks figures from the journal's website.
Review & acceptance
Review time and acceptance
- Average review time (community reports)
- about 10 weeksLetPub ·
- Peer review
- Double blind peer reviewLetPub
Community reports come from authors' own submissions (confidence 0.5) and are not a promise from the journal; for publisher figures, the journal's own definitions apply.
Fees & open access
APC and open-access policy
Fully open accessOpenAlex
Every article is open access; authors usually pay an article processing charge (APC).
| Source | APC | Fee waiver | License | Observed |
|---|---|---|---|---|
| LetPub | No APC | No | — |
The journal's website is authoritative for fees; sources were observed at different times and each keeps its own value, without averaging.
Profile
Publication details and official links
- Publisher
- Sciendo
- Country or region
- Poland
- Language
- English
- ISSN
- 1898-9934
- Official links
- Journal homepage ↗LetPub
- Author guidelines ↗LetPub
- Aims & Scope ↗LetPub
- Peer review process ↗LetPub
- Editorial board ↗LetPub
FAQ
Frequently asked questions about Formalized Mathematics
What CAS zone is Formalized Mathematics in?
In the 2025 upgraded edition of the CAS Journal Ranking, Formalized Mathematics is in Zone 2 of Mathematics, and in Zone 2 of the minor category Mathematics. In the 2026 Xinrui edition it is in Zone 2 of Mathematics. Zones from different editions, and from major and minor categories, are not interchangeable.
How long does peer review take at Formalized Mathematics?
Authors report an average review time of about 10 weeks. Article statistics cover accepted papers only, publisher figures follow the journal's own definitions, and community reports come from authors' own submissions; none is a promise from the journal.
Which databases index Formalized Mathematics?
According to LetPub and DOAJ records, Formalized Mathematics is indexed in ESCI.
Is Formalized Mathematics open access, and what is the APC?
Formalized Mathematics is a fully open-access journal. It charges no article processing charge.
Sources and updates
The facts on this page come from LetPub, OpenAlex; every figure is tagged with its source and the date it was observed, and conflicting values are kept per source. LetPub source page: view ↗ (archived 2026-08-25). Last updated: .