Scimago Journal & Country Rank

Formalized Mathematicsopen access

Discontinued in Scopus as of 2016

Country

Poland

Universities and research institutions in Poland
Media Ranking in Poland

Subject Area and Category

Publisher

University of Bialystok

University of Bialystok in Scimago Institutions Rankings

H-Index

9

Publication type

Journals

ISSN

14262630, 18989934

Coverage

2006-2016

Information

Homepage

How to publish in this journal

romat@mizar.org

Scope

- 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.

CategoryYearQuartile
Applied Mathematics2007Q4
Applied Mathematics2008Q4
Applied Mathematics2009Q4
Applied Mathematics2010Q4
Applied Mathematics2011Q4
Applied Mathematics2012Q4
Applied Mathematics2013Q4
Applied Mathematics2014Q4
Applied Mathematics2015Q4
Applied Mathematics2016Q4
Applied Mathematics2017Q4
Applied Mathematics2018Q4
Applied Mathematics2019Q4
Computational Mathematics2007Q4
Computational Mathematics2008Q4
Computational Mathematics2009Q4
Computational Mathematics2010Q4
Computational Mathematics2011Q4
Computational Mathematics2012Q4
Computational Mathematics2013Q4
Computational Mathematics2014Q4
Computational Mathematics2015Q4
Computational Mathematics2016Q4
Computational Mathematics2017Q4
Computational Mathematics2018Q4
Computational Mathematics2019Q4
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.109
20100.105
20110.103
20120.104
20130.133
20140.121
20150.178
20160.203
20170.119
20180.111
20190.112
Total Documents

Evolution of the number of published documents. All types of documents are considered, including citable and non citable documents.

YearDocuments
200626
200728
200848
200932
201026
201133
201239
201329
201432
201531
201626
20170
20180
20190
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)20060.000
Cites / Doc. (4 years)20070.423
Cites / Doc. (4 years)20081.000
Cites / Doc. (4 years)20090.353
Cites / Doc. (4 years)20100.299
Cites / Doc. (4 years)20110.284
Cites / Doc. (4 years)20120.360
Cites / Doc. (4 years)20130.385
Cites / Doc. (4 years)20140.260
Cites / Doc. (4 years)20150.376
Cites / Doc. (4 years)20160.298
Cites / Doc. (4 years)20170.093
Cites / Doc. (4 years)20180.079
Cites / Doc. (4 years)20190.088
Cites / Doc. (3 years)20060.000
Cites / Doc. (3 years)20070.423
Cites / Doc. (3 years)20081.000
Cites / Doc. (3 years)20090.353
Cites / Doc. (3 years)20100.306
Cites / Doc. (3 years)20110.245
Cites / Doc. (3 years)20120.473
Cites / Doc. (3 years)20130.398
Cites / Doc. (3 years)20140.277
Cites / Doc. (3 years)20150.420
Cites / Doc. (3 years)20160.315
Cites / Doc. (3 years)20170.090
Cites / Doc. (3 years)20180.105
Cites / Doc. (3 years)20190.154
Cites / Doc. (2 years)20060.000
Cites / Doc. (2 years)20070.423
Cites / Doc. (2 years)20081.000
Cites / Doc. (2 years)20090.316
Cites / Doc. (2 years)20100.325
Cites / Doc. (2 years)20110.328
Cites / Doc. (2 years)20120.492
Cites / Doc. (2 years)20130.528
Cites / Doc. (2 years)20140.338
Cites / Doc. (2 years)20150.541
Cites / Doc. (2 years)20160.397
Cites / Doc. (2 years)20170.088
Cites / Doc. (2 years)20180.115
Cites / Doc. (2 years)20190.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.

CitesYearValue
Self Cites20060
Self Cites20079
Self Cites200854
Self Cites200932
Self Cites201026
Self Cites201122
Self Cites201240
Self Cites201335
Self Cites201425
Self Cites201532
Self Cites201620
Self Cites20170
Self Cites20180
Self Cites20190
Total Cites20060
Total Cites200711
Total Cites200854
Total Cites200936
Total Cites201033
Total Cites201126
Total Cites201243
Total Cites201339
Total Cites201428
Total Cites201542
Total Cites201629
Total Cites20178
Total Cites20186
Total Cites20194
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 document20060
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.030
External Cites per document20150.100
External Cites per document20160.098
External Cites per document20170.090
External Cites per document20180.105
External Cites per document20190.154
Cites per document20060.000
Cites per document20070.423
Cites per document20081.000
Cites per document20090.353
Cites per document20100.306
Cites per document20110.245
Cites per document20120.473
Cites per document20130.398
Cites per document20140.277
Cites per document20150.420
Cites per document20160.315
Cites per document20170.090
Cites per document20180.105
Cites per document20190.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.

YearInternational Collaboration
20067.69
20073.57
20084.17
20093.13
20103.85
20119.09
201217.95
20133.45
201415.63
20153.23
20163.85
20170
20180
20190
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 documents20060
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
Non-citable documents20161
Non-citable documents20171
Non-citable documents20180
Non-citable documents20190
Citable documents20060
Citable documents200726
Citable documents200854
Citable documents2009102
Citable documents2010108
Citable documents2011106
Citable documents201291
Citable documents201398
Citable documents2014101
Citable documents201599
Citable documents201691
Citable documents201788
Citable documents201857
Citable documents201926
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 documents20060
Uncited documents200720
Uncited documents200830
Uncited documents200982
Uncited documents201085
Uncited documents201186
Uncited documents201266
Uncited documents201370
Uncited documents201477
Uncited documents201572
Uncited documents201669
Uncited documents201782
Uncited documents201851
Uncited documents201923
Cited documents20060
Cited documents20076
Cited documents200824
Cited documents200920
Cited documents201023
Cited documents201120
Cited documents201225
Cited documents201328
Cited documents201424
Cited documents201528
Cited documents201623
Cited documents20177
Cited documents20186
Cited documents20193
Scimago Journal & Country Rank
Show this widget in your own website

Just copy the code below and paste within your html code:
SCImago Graphica
Explore, visually communicate and make sense of data with our new data visualization tool.
Metrics based on Scopus® data as of March 2024
Loading comments…

Leave a comment

* Required

* Required

* Required

* Required

The users of Scimago Journal & Country Rank have the possibility to dialogue through comments linked to a specific journal. The purpose is to have a forum in which general doubts about the processes of publication in the journal, experiences and other issues derived from the publication of papers are resolved. For topics on particular articles, maintain the dialogue through the usual channels with your editor.

Developed by:
Scimago Lab
Powered by:
Powered by scopus

Follow us on @ScimagoJR

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

Legal Notice

Privacy Policy