ISSN: 1426-2630

Journal Home

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

-

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!

Publication speed *

Review quality *

Edition and editorial team *

Institutional email or ORCID *

* 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

Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications and Algorithms Q4
Memoirs on Differential Equations and Mathematical Physics Q4
Journal of Applied Analysis Q4
Measurement Techniques Q4
Statistics and its Interface Q4

Compare this journals

Aims and Scope

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

Formalized Mathematics Q4 Unclaimed

- €

NPD

- €

Metrics

-

8

0

26

0

4

26

0

0.0

Comments

Other journals with similar parameters

Aims and Scope

FAQS

What is the impact factor of Formalized Mathematics?