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
- Lagrange’s Four-Square Theorem by Watase, Yasushige
- The Mycielskian of a Graph by Rudnicki, Piotr and Stewart, Lorna

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 23, Issue 2 (Jun 2015)

- Save
- Open Access

- Save
- Open Access

- Save
- Open Access

- Save
- Open Access

- Save
- Open Access

- Save
- Open Access

- Save
- Open Access

## Comments (0)