1. Journal searcher
  2. Top 15 journals in Applied Mathematics
  3. Formalized Mathematics
Default: Formalized Mathematics

ISSN: 1426-2630

Journal Home

Journal Guideline

Formalized Mathematics Q4 Unclaimed

University of Bialystok Poland
Unfortunately this journal has not been claimed yet. For this reason, some information may be unavailable.

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.

Type: Journal

Type of Copyright: CC BY-NC-ND

Languages: English

Open Access Policy: Open Access

Type of publications:

Publication frecuency: -

Categories: Applied Mathematics (Q4) Computational Mathematics (Q4)
Price

- €

Inmediate OA

NPD

Embargoed OA

- €

Non OA

Metrics

Formalized Mathematics

-

SJR Impact factor

8

H Index

0

Total Docs (Last Year)

26

Total Docs (3 years)

0

Total Refs

4

Total Cites (3 years)

26

Citable Docs (3 years)

0

Cites/Doc (2 years)

0.0

Ref/Doc

Comments

No comments ... Be the first to comment!
User post comment
* The email or ORCID field is only to validate the authenticity of the comment, the identity will not be public. .

Other journals with similar parameters

Monte Carlo Methods and Applications Q4
Applications of Mathematics Q4
Measurement Techniques Q4
IfCoLoG Journal of Logics and their Applications Q4
Journal of Contemporary Mathematical Analysis Q4
Compare this journals

Aims and Scope

Computer-checked mathematics Repository of mathematical knowledge Formalization Mathematical knowledge management

FAQS

What is the impact factor of Formalized Mathematics?

In Country of Paypers you can find Impact factor and other metrics to help you decide on a Journal.