Show Summary Details
Formalized Mathematics
(a computer assisted approach)
Editor-in-Chief: Matuszewski, Roman
4 Issues per year
SCImago Journal Rank (SJR) 2016: 0.207
Source Normalized Impact per Paper (SNIP) 2016: 0.315
Open Access

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.
More options …
- 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
- Prime Filters and Ideals in Distributive Lattices by Grabowski, Adam
- The Gödel Completeness Theorem for Uncountable Languages by Schlöder, Julian J. and Koepke, Peter
- Dilworth's Decomposition Theorem for Posets by Rudnicki, Piotr
- N-Dimensional Binary Vector Spaces by Arai, Kenichi and Okazaki, Hiroyuki
- Double Sequences and Limits by Endou, Noboru / Okazaki, Hiroyuki and Shidama, Yasunari
- Semiring of Sets: Examples by Coghetto, Roland
- General Theory of Quasi-Commutative BCI-algebras by Sun, Tao/ Pan, Weibo/ Wu, Chenglong and Liang, Xiquan
- Basic Properties of Circulant Matrices and Anti-Circular Matrices by Yue, Xiaopeng and Liang, Xiquan
- Object-Free Definition of Categories by Riccardi, Marco
- Analysis of Algorithms: An Example of a Sort Algorithm by Bancerek, Grzegorz
- Several Classes of BCK-algebras and their Properties by Sun, Tao/ Hu, Dahai and Liang, Xiquan
- The Mycielskian of a Graph by Rudnicki, Piotr and Stewart, Lorna
- Lagrange’s Four-Square Theorem by Watase, Yasushige
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)