- Reconstruction of mathematics based on mechanization of mathematical reasoning.
- To check a wide range of mathematical theorems using a computer in an automatic fashion.
- General mathematics: especially topology, lattice theory, functional analysis.
- Applications: computer-aided verification of software and hardware, computer-aided teaching of mathematics. Join the conversation about this journal
Quartiles
The set of journals have been ranked according to their SJR and divided into four equal groups, four quartiles. Q1 (green) comprises the quarter of the journals with the highest values, Q2 (yellow) the second highest values, Q3 (orange) the third highest values and Q4 (red) the lowest values.
Category
Year
Quartile
Applied Mathematics
2007
Q4
Applied Mathematics
2008
Q4
Applied Mathematics
2009
Q4
Applied Mathematics
2010
Q4
Applied Mathematics
2011
Q4
Applied Mathematics
2012
Q4
Applied Mathematics
2013
Q4
Applied Mathematics
2014
Q4
Applied Mathematics
2015
Q4
Applied Mathematics
2016
Q4
Applied Mathematics
2017
Q4
Applied Mathematics
2018
Q4
Applied Mathematics
2019
Q4
Computational Mathematics
2007
Q4
Computational Mathematics
2008
Q4
Computational Mathematics
2009
Q4
Computational Mathematics
2010
Q4
Computational Mathematics
2011
Q4
Computational Mathematics
2012
Q4
Computational Mathematics
2013
Q4
Computational Mathematics
2014
Q4
Computational Mathematics
2015
Q4
Computational Mathematics
2016
Q4
Computational Mathematics
2017
Q4
Computational Mathematics
2018
Q4
Computational Mathematics
2019
Q4
SJR
The SJR is a size-independent prestige indicator that ranks journals by their 'average prestige per article'. It is based on the idea that 'all citations are not created equal'. SJR is a measure of scientific influence of journals that accounts for both the number of citations received by a journal and the importance or prestige of the journals where such citations come from
It measures the scientific influence of the average article in a journal, it expresses how central to the global scientific discussion an average article of the journal is.
Year
SJR
2007
0.101
2008
0.100
2009
0.109
2010
0.105
2011
0.103
2012
0.104
2013
0.133
2014
0.121
2015
0.178
2016
0.203
2017
0.119
2018
0.111
2019
0.112
Total Documents
Evolution of the number of published documents. All types of documents are considered, including citable and non citable documents.
Year
Documents
2006
26
2007
28
2008
48
2009
32
2010
26
2011
33
2012
39
2013
29
2014
32
2015
31
2016
26
2017
0
2018
0
2019
0
Citations per document
This indicator counts the number of citations received by documents from a journal and divides them by the total number of documents published in that journal. The chart shows the evolution of the average number of times documents published in a journal in the past two, three and four years have been cited in the current year. The two years line is equivalent to journal impact factor ™ (Thomson Reuters) metric.
Cites per document
Year
Value
Cites / Doc. (4 years)
2006
0.000
Cites / Doc. (4 years)
2007
0.423
Cites / Doc. (4 years)
2008
1.000
Cites / Doc. (4 years)
2009
0.353
Cites / Doc. (4 years)
2010
0.299
Cites / Doc. (4 years)
2011
0.284
Cites / Doc. (4 years)
2012
0.360
Cites / Doc. (4 years)
2013
0.385
Cites / Doc. (4 years)
2014
0.260
Cites / Doc. (4 years)
2015
0.376
Cites / Doc. (4 years)
2016
0.298
Cites / Doc. (4 years)
2017
0.093
Cites / Doc. (4 years)
2018
0.079
Cites / Doc. (4 years)
2019
0.088
Cites / Doc. (3 years)
2006
0.000
Cites / Doc. (3 years)
2007
0.423
Cites / Doc. (3 years)
2008
1.000
Cites / Doc. (3 years)
2009
0.353
Cites / Doc. (3 years)
2010
0.306
Cites / Doc. (3 years)
2011
0.245
Cites / Doc. (3 years)
2012
0.473
Cites / Doc. (3 years)
2013
0.398
Cites / Doc. (3 years)
2014
0.277
Cites / Doc. (3 years)
2015
0.420
Cites / Doc. (3 years)
2016
0.315
Cites / Doc. (3 years)
2017
0.090
Cites / Doc. (3 years)
2018
0.105
Cites / Doc. (3 years)
2019
0.154
Cites / Doc. (2 years)
2006
0.000
Cites / Doc. (2 years)
2007
0.423
Cites / Doc. (2 years)
2008
1.000
Cites / Doc. (2 years)
2009
0.316
Cites / Doc. (2 years)
2010
0.325
Cites / Doc. (2 years)
2011
0.328
Cites / Doc. (2 years)
2012
0.492
Cites / Doc. (2 years)
2013
0.528
Cites / Doc. (2 years)
2014
0.338
Cites / Doc. (2 years)
2015
0.541
Cites / Doc. (2 years)
2016
0.397
Cites / Doc. (2 years)
2017
0.088
Cites / Doc. (2 years)
2018
0.115
Cites / Doc. (2 years)
2019
0.000
Total Cites Self-Cites
Evolution of the total number of citations and journal's self-citations received by a journal's published documents during the three previous years.
Journal Self-citation is defined as the number of citation from a journal citing article to articles published by the same journal.
Cites
Year
Value
Self Cites
2006
0
Self Cites
2007
9
Self Cites
2008
54
Self Cites
2009
32
Self Cites
2010
26
Self Cites
2011
22
Self Cites
2012
40
Self Cites
2013
35
Self Cites
2014
25
Self Cites
2015
32
Self Cites
2016
20
Self Cites
2017
0
Self Cites
2018
0
Self Cites
2019
0
Total Cites
2006
0
Total Cites
2007
11
Total Cites
2008
54
Total Cites
2009
36
Total Cites
2010
33
Total Cites
2011
26
Total Cites
2012
43
Total Cites
2013
39
Total Cites
2014
28
Total Cites
2015
42
Total Cites
2016
29
Total Cites
2017
8
Total Cites
2018
6
Total Cites
2019
4
External Cites per Doc Cites per Doc
Evolution of the number of total citation per document and external citation per document (i.e. journal self-citations removed) received by a journal's published documents during the three previous years.
External citations are calculated by subtracting the number of self-citations from the total number of citations received by the journal’s documents.
Cites
Year
Value
External Cites per document
2006
0
External Cites per document
2007
0.077
External Cites per document
2008
0.000
External Cites per document
2009
0.039
External Cites per document
2010
0.065
External Cites per document
2011
0.038
External Cites per document
2012
0.033
External Cites per document
2013
0.041
External Cites per document
2014
0.030
External Cites per document
2015
0.100
External Cites per document
2016
0.098
External Cites per document
2017
0.090
External Cites per document
2018
0.105
External Cites per document
2019
0.154
Cites per document
2006
0.000
Cites per document
2007
0.423
Cites per document
2008
1.000
Cites per document
2009
0.353
Cites per document
2010
0.306
Cites per document
2011
0.245
Cites per document
2012
0.473
Cites per document
2013
0.398
Cites per document
2014
0.277
Cites per document
2015
0.420
Cites per document
2016
0.315
Cites per document
2017
0.090
Cites per document
2018
0.105
Cites per document
2019
0.154
% International Collaboration
International Collaboration accounts for the articles that have been produced by researchers from several countries. The chart shows the ratio of a journal's documents signed by researchers from more than one country; that is including more than one country address.
Year
International Collaboration
2006
7.69
2007
3.57
2008
4.17
2009
3.13
2010
3.85
2011
9.09
2012
17.95
2013
3.45
2014
15.63
2015
3.23
2016
3.85
2017
0
2018
0
2019
0
Citable documents Non-citable documents
Not every article in a journal is considered primary research and therefore "citable", this chart shows the ratio of a journal's articles including substantial research (research articles, conference papers and reviews) in three year windows vs. those documents other than research articles, reviews and conference papers.
Documents
Year
Value
Non-citable documents
2006
0
Non-citable documents
2007
0
Non-citable documents
2008
0
Non-citable documents
2009
0
Non-citable documents
2010
0
Non-citable documents
2011
0
Non-citable documents
2012
0
Non-citable documents
2013
0
Non-citable documents
2014
0
Non-citable documents
2015
1
Non-citable documents
2016
1
Non-citable documents
2017
1
Non-citable documents
2018
0
Non-citable documents
2019
0
Citable documents
2006
0
Citable documents
2007
26
Citable documents
2008
54
Citable documents
2009
102
Citable documents
2010
108
Citable documents
2011
106
Citable documents
2012
91
Citable documents
2013
98
Citable documents
2014
101
Citable documents
2015
99
Citable documents
2016
91
Citable documents
2017
88
Citable documents
2018
57
Citable documents
2019
26
Cited documents Uncited documents
Ratio of a journal's items, grouped in three years windows, that have been cited at least once vs. those not cited during the following year.
Documents
Year
Value
Uncited documents
2006
0
Uncited documents
2007
20
Uncited documents
2008
30
Uncited documents
2009
82
Uncited documents
2010
85
Uncited documents
2011
86
Uncited documents
2012
66
Uncited documents
2013
70
Uncited documents
2014
77
Uncited documents
2015
72
Uncited documents
2016
69
Uncited documents
2017
82
Uncited documents
2018
51
Uncited documents
2019
23
Cited documents
2006
0
Cited documents
2007
6
Cited documents
2008
24
Cited documents
2009
20
Cited documents
2010
23
Cited documents
2011
20
Cited documents
2012
25
Cited documents
2013
28
Cited documents
2014
24
Cited documents
2015
28
Cited documents
2016
23
Cited documents
2017
7
Cited documents
2018
6
Cited documents
2019
3
% Female Authors
Evolution of the percentage of female authors.
Year
Female Percent
2006
10.34
2007
6.25
2008
12.82
2009
21.43
2010
18.18
2011
13.04
2012
10.71
2013
16.67
2014
12.00
2015
5.00
2016
10.00
2017
0.00
2018
0.00
2019
0.00
Documents cited by public policy (Overton)
Evolution of the number of documents cited by public policy documents according to Overton database.
Documents
Year
Value
Overton
2006
0
Overton
2007
1
Overton
2008
0
Overton
2009
0
Overton
2010
0
Overton
2011
0
Overton
2012
0
Overton
2013
0
Overton
2014
0
Overton
2015
0
Overton
2016
0
Overton
2017
0
Overton
2018
0
Overton
2019
0
Documents related to SDGs (UN)
Evolution of the number of documents related to Sustainable Development Goals defined by United Nations. Available from 2018 onwards.
Documents
Year
Value
SDG
2018
0
SDG
2019
0
Estimated APC
It estimates the article processing charges (APCs) a journal might charge, based on its visibility, prestige, and impact as measured by the SJR. It does not reflect the actual APC, but rather a calculated approximation based on journal quality.
Year
Est. APC (USD)
2006
2007
2181
2008
2179
2009
2191
2010
2192
2011
2192
2012
2194
2013
2219
2014
2228
2015
2278
2016
2340
2017
2349
2018
2336
2019
2331
Estimated financial value
It represents the potential financial worth of a journal. It is obtained by multiplying the journal's Estimated APC by the total number of citable documents published over the past five years. This value reflects the hypothetical revenue a journal could generate based on its estimated publication costs and scholarly output.
Year
Est. value (USD)
2006
2007
61079
2008
165635
2009
236586
2010
293760
2011
366006
2012
390530
2013
352818
2014
354214
2015
373618
2016
367390
2017
277153
2018
207901
2019
132846
Show this widget in your own website
Just copy the code below and paste within your html code: