Show Summary Details
Formalized Mathematics
(a computer assisted approach)
Editor-in-Chief: Matuszewski, Roman
4 Issues per year
SCImago Journal Rank (SJR) 2015: 0.134
Source Normalized Impact per Paper (SNIP) 2015: 0.686
Impact per Publication (IPP) 2015: 0.296
Open Access
- Online
- ISSN
- 1898-9934
See all formats and pricing
- Online
- Open Access
*Prices in US$ apply to orders placed in the Americas only. Prices in GBP apply to orders placed in Great Britain only. Prices in € represent the retail prices valid in Germany (unless otherwise indicated). Prices are subject to change without notice. Prices do not include postage and handling if applicable. RRP: Recommended Retail Price.
In This Section
- Most Downloaded Articles
Most Downloaded Articles
- Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane by Arnaud, Adam St. and Rudnicki, Piotr
- Helly Property for Subtrees by Enright, Jessica and Rudnicki, Piotr
- Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph by Rudnicki, Piotr and Stewart, Lorna
- Determinant and Inverse of Matrices of Real Elements by Tamura, Nobuyuki and Nakamura, Yatsuka
- Planes and Spheres as Topological Manifolds. Stereographic Projection by Riccardi, Marco
- Miscellaneous Facts about Open Functions and Continuous Functions by Korniłowicz, Artur
- Open Mapping Theorem by Sakurai, Hideki/ Kunimune, Hisayoshi and Shidama, Yasunari
- Dilworth's Decomposition Theorem for Posets by Rudnicki, Piotr
- The Gödel Completeness Theorem for Uncountable Languages by Schlöder, Julian J. and Koepke, Peter
- Prime Filters and Ideals in Distributive Lattices by Grabowski, Adam
- General Theory of Quasi-Commutative BCI-algebras by Sun, Tao/ Pan, Weibo/ Wu, Chenglong and Liang, Xiquan
- Double Sequences and Limits by Endou, Noboru / Okazaki, Hiroyuki and Shidama, Yasunari
- N-Dimensional Binary Vector Spaces by Arai, Kenichi and Okazaki, Hiroyuki
- Semiring of Sets: Examples by Coghetto, Roland
- Object-Free Definition of Categories by Riccardi, Marco
- Several Classes of BCK-algebras and their Properties by Sun, Tao/ Hu, Dahai and Liang, Xiquan
- Analysis of Algorithms: An Example of a Sort Algorithm by Bancerek, Grzegorz
- The Mycielskian of a Graph by Rudnicki, Piotr and Stewart, Lorna
- Basic Properties of Circulant Matrices and Anti-Circular Matrices by Yue, Xiaopeng and Liang, Xiquan
- Routh’s, Menelaus’ and Generalized Ceva’s Theorems by Shminke, Boris A.
Select Volume and Issue
Issues
Volume 25 (2017)
Volume 24 (2016)
Volume 23 (2015)
Volume 22 (2014)
Volume 21 (2013)
Volume 20 (2012)
Volume 19 (2011)
Volume 18 (2010)
Volume 17 (2009)
Volume 16 (2008)
Volume 15 (2007)
Volume 24, Issue 3 (Sep 2016)
Compactness in Metric Spaces
Nakasho, Kazuhisa / Narita, Keiko / Shidama, Yasunari
Page 167
Published Online: 02/21/2017
- Save
- Open Access
Double Sequences and Iterated Limits in Regular Space
Coghetto, Roland
Page 173
Published Online: 02/21/2017
- Save
- Open Access
Prime Factorization of Sums and Differences of Two Like Powers
Ziobro, Rafał
Page 187
Published Online: 02/21/2017
- Save
- Open Access
Riemann-Stieltjes Integral
Narita, Keiko / Nakasho, Kazuhisa / Shidama, Yasunari
Page 199
Published Online: 02/21/2017
- Save
- Open Access
- Save
- Open Access
- Save
- Open Access
Some Algebraic Properties of Polynomial Rings
Schwarzweller, Christoph / Korniłowicz, Artur / Rowinska-Schwarzweller, Agnieszka
Page 227
Published Online: 02/21/2017
- Save
- Open Access
Comments (0)