Centre for Science and Technology Studies Kolffpad 1 2333 BNLeiden Zuid Holland 31715273909 www.cwts.nl
this is the header

Formalized Mathematics

Source type: Journal Print ISSN: 1426-2630
Publisher: University of Bialystok Electronic ISSN: 1898-9934
Areas:
  • Applied Mathematics ,
  • Computational Mathematics

 

Indicator:

 

Year P IPP SNIP % self cit
2007 26 0.08 0.30 0.0%
2008 54 0.00 0.00 0.0%
2009 102 0.40 1.02 90.2%
2010 108 0.30 0.81 81.3%
2011 106 0.25 0.96 84.6%
2012 91 0.46 1.32 95.2%
2013 98 0.40 0.96 89.7%
2014 101 0.28 0.95 89.3%
2015 99 0.41 0.69 78.0%
2016 91 0.25 0.39 87.0%
2017 88 0.08 0.23 0.0%
2018 57 0.09 0.17 0.0%
2019 26 0.12 0.17 0.0%
Copyright © 2025 Centre for Science and Technology Studies, Leiden University, The Netherlands