Scimago Journal & Country Rank

Formalized Mathematicsopen access

CountryPoland
8
H Index
Subject Area and CategoryMathematics
Applied Mathematics
Computational Mathematics
PublisherUniversity of Bialystok
Publication typeJournals
ISSN18989934, 14262630
Coverage2006-ongoing
Scope Formalized Mathematics is to be issued quarterly and publishes papers which are abstracts of Mizar articles contributed to the Mizar Mathematical Library (MML) - the basis of a knowledge management system for mathematics. (source)
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.

CategoryYearQuartile
Applied Mathematics2007Q4
Applied Mathematics2008Q4
Applied Mathematics2009Q4
Applied Mathematics2010Q4
Applied Mathematics2011Q4
Applied Mathematics2012Q4
Applied Mathematics2013Q4
Applied Mathematics2014Q4
Applied Mathematics2015Q4
Computational Mathematics2007Q4
Computational Mathematics2008Q4
Computational Mathematics2009Q4
Computational Mathematics2010Q4
Computational Mathematics2011Q4
Computational Mathematics2012Q4
Computational Mathematics2013Q4
Computational Mathematics2014Q4
Computational Mathematics2015Q4
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.

YearSJR
20070.101
20080.100
20090.100
20100.107
20110.104
20120.105
20130.150
20140.112
20150.134
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 documentYearValue
Cites / Doc. (4 years)20070.423
Cites / Doc. (4 years)20081.000
Cites / Doc. (4 years)20090.353
Cites / Doc. (4 years)20100.291
Cites / Doc. (4 years)20110.284
Cites / Doc. (4 years)20120.360
Cites / Doc. (4 years)20130.385
Cites / Doc. (4 years)20140.268
Cites / Doc. (4 years)20150.258
Cites / Doc. (3 years)20070.423
Cites / Doc. (3 years)20081.000
Cites / Doc. (3 years)20090.353
Cites / Doc. (3 years)20100.296
Cites / Doc. (3 years)20110.245
Cites / Doc. (3 years)20120.473
Cites / Doc. (3 years)20130.398
Cites / Doc. (3 years)20140.287
Cites / Doc. (3 years)20150.283
Cites / Doc. (2 years)20070.423
Cites / Doc. (2 years)20081.000
Cites / Doc. (2 years)20090.316
Cites / Doc. (2 years)20100.313
Cites / Doc. (2 years)20110.328
Cites / Doc. (2 years)20120.492
Cites / Doc. (2 years)20130.528
Cites / Doc. (2 years)20140.353
Cites / Doc. (2 years)20150.383
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.

CitesYearValue
Self Cites20079
Self Cites200854
Self Cites200932
Self Cites201025
Self Cites201122
Self Cites201240
Self Cites201335
Self Cites201425
Self Cites201520
Total Cites200711
Total Cites200854
Total Cites200936
Total Cites201032
Total Cites201126
Total Cites201243
Total Cites201339
Total Cites201429
Total Cites201528
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.

CitesYearValue
External Cites per document20070.077
External Cites per document20080.000
External Cites per document20090.039
External Cites per document20100.065
External Cites per document20110.038
External Cites per document20120.033
External Cites per document20130.041
External Cites per document20140.040
External Cites per document20150.081
Cites per document20070.423
Cites per document20081.000
Cites per document20090.353
Cites per document20100.296
Cites per document20110.245
Cites per document20120.473
Cites per document20130.398
Cites per document20140.287
Cites per document20150.283
% 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.

YearInternational Collaboration
20073.57
20084.17
20093.13
20103.85
20119.09
201217.95
20133.45
201415.63
20150.00
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.

DocumentsYearValue
Non-citable documents20070
Non-citable documents20080
Non-citable documents20090
Non-citable documents20100
Non-citable documents20110
Non-citable documents20120
Non-citable documents20130
Non-citable documents20140
Non-citable documents20151
Citable documents200726
Citable documents200854
Citable documents2009102
Citable documents2010108
Citable documents2011106
Citable documents201291
Citable documents201398
Citable documents2014101
Citable documents201599
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.

DocumentsYearValue
Uncited documents200720
Uncited documents200830
Uncited documents200982
Uncited documents201085
Uncited documents201186
Uncited documents201266
Uncited documents201370
Uncited documents201477
Uncited documents201580
Cited documents20076
Cited documents200824
Cited documents200920
Cited documents201023
Cited documents201120
Cited documents201225
Cited documents201328
Cited documents201424
Cited documents201520
Scimago Journal & Country Rank
Show this widget in your own website

Just copy the code below and paste within your html code:
Developed by:
Scimago Lab
Powered by:
Powered by scopus

Follow us on Twitter

Scimago Lab, Copyright 2007-2016. Data Source: Scopus®