Journal of Formalized Reasoning

The scientific journal Journal of Formalized Reasoning is included in the Scopus database. Based on 2020, SJR is 0.534. Publisher country is Italia. The main subject areas of published articles are Computer Science (miscellaneous), Mathematics(all), MATHEMATICS.

We offer making basic requirements to academic papers compliance test using "Paper quality checking" service. Paper quality checking service is in demand among researchers who wish to make final improvements to their work before submitting it to the target journal.The experienced editors of ORES, who have published papers in cited journals, with the participation of foreign partners go through finished articles. They perform complex checks on many parameters, improve the structure and logic of content, and conduct spell checks, among others.

Percentile Scopus ASJC Code Scopus Sub-Subject Area Quartile
94 2600 Mathematics(all) 1
83 1701 Computer Science (miscellaneous) 1
CiteScore Open Access Source ID
4,2 YES https://scopus.com/sourceid/21100262198
Web Site Articles in 2018 Articles in 2019
Link 3 3

Other journals in category

ISSN
Title
Indicators
03817032
Ars Combinatoria
SJR: 0.182
The scientific journal Ars Combinatoria is included in the Scopus database. Based on 2020, SJR is 0.182. Publisher country is Canadá. The main subject areas of published articles are Mathematics(all)....
00170895
Glasgow Mathematical Journal
SJR: 0.427
The scientific journal Glasgow Mathematical Journal is included in the Scopus database. Based on 2020, SJR is 0.427. Publisher country is . The main subject areas of published articles are Mathematics(all)....
10737928
International Mathematics Research Notices
SJR: 2.259
The scientific journal International Mathematics Research Notices is included in the Scopus database. Based on 2020, SJR is 2.259. Publisher country is Estados Unidos. The main subject areas of published articles are Mathematics(all)....
00318019
Philosophia Mathematica
SJR: 0.5
The scientific journal Philosophia Mathematica is included in the Scopus database. Based on 2020, SJR is 0.5. Publisher country is . The main subject areas of published articles are Philosophy, Mathematics(all)....
1066369X
Russian Mathematics
SJR: 0.397
The scientific journal Russian Mathematics is included in the Scopus database. Based on 2020, SJR is 0.397. Publisher country is Estados Unidos. The main subject areas of published articles are Mathematics(all), Математика, MATHEMATICS....
03854035
Hokkaido Mathematical Journal
SJR: 0.208
The scientific journal Hokkaido Mathematical Journal is included in the Scopus database. Based on 2020, SJR is 0.208. Publisher country is Japón. The main subject areas of published articles are Mathematics(all)....
2473-6988
AIMS MATHEMATICS
SJR: 0.458
The scientific journal AIMS MATHEMATICS is included in the Scopus database. Based on 2020, SJR is 0.458. Publisher of the journal is AMER INST MATHEMATICAL SCIENCES-AIMS, PO BOX 2604, SPRINGFIELD, USA, MO, 65801-2604. Publisher country is Estados Unidos. The main...
13195166
Arab Journal of Mathematical Sciences
SJR: 0.293
The scientific journal Arab Journal of Mathematical Sciences is included in the Scopus database. Based on 2020, SJR is 0.293. The main subject areas of published articles are Mathematics(all)....
  • ISSN: 19725787
  • The scientific journal is included in the Scopus database.
Publish scientific article