CountryOfPapers CountryOfPapers
Journal list Promote Sponsor
Formalized Mathematics
Poland · University of Bialystok
workspace_premium Q4 — Applied Mathematics visibility_off Double blind peer review lock_open Open Access

Formalized Mathematics

Formalized Mathematics is a journal indexed in SJR in Applied Mathematics and Computational Mathematics with an H index of 8. It is an CC BY-NC-ND Journal with a Double blind peer review review system The scope of the journal is focused on computer-checked mathematics, repository of mathematical knowledge, formalization, mathematical knowledge management. It has a best quartile of Q4. It is published in English.

ISSN: 1426-2630
Publisher: University of Bialystok
Category: Applied Mathematics
open_in_new Portal NPD menu_book Author guidelines
schedule CountryOfPapers database fields
SJR Impact Factor trending_up
NPD Q4
H-index 8
Acceptance rate pie_chart
54%
Source Acceptance_Rate
Time to publication hourglass_top
10 weeks
Field Average_time_publication_weeks
Publication cost (APC) payments
NPD Open Access
Non-OA path NPD

Metrics

Scimago and CountryOfPapers database fields

SJR Impact

—

H-index

8

Docs (year)

0

Docs 3y

26

Total refs

0

Cites 3y

4

Citable 3y

26

Cites/Doc 2y

0

Ref/Doc

0.0

Immediate OA

—

Embargoed OA

NPD

Non OA / Submission

- €

shield Researcher voice

Name good journals. Call out predatory ones.

Share what peer review, fees, and timelines were really like. Praise fair editors. Flag APC traps, fake metrics, or spam solicitations — with facts from your submission.

Fair & fast peer review Clear APC / no surprise fees Suspected predatory Fake impact claims
rate_review Write an honest review

Researcher reviews

sentiment_dissatisfied No reviews yet — be the first to share an honest experience.
User
* Only to validate authenticity — identity is not shown publicly.

FAQs

What is the SJR of Formalized Mathematics?

SJR is not available (NPD) for Formalized Mathematics in the CountryOfPapers database.

What is the APC / publication cost?

Immediate OA APC is not available (NPD).

What is the acceptance rate?

The acceptance rate recorded for Formalized Mathematics is 54%.