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. RRP: Recommended Retail Price.

- Overview
- Current Issue
- 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.

- Contact Persons

Select Volume and Issue

## Issues

## 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 2 (Jun 2016)

- Open Access
- Save

- Open Access
- Save

- Open Access
- Save

### Binary Relations-based Rough Sets – an Automated Approach

Grabowski, Adam

Page 143

**Published Online:** 12/08/2016

- Open Access
- Save

### Tarski Geometry Axioms – Part II

Coghetto, Roland / Grabowski, Adam

Page 157

**Published Online:** 12/08/2016

- Open Access
- Save

## Comments (0)