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
- 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
- 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
- Basic Properties of Circulant Matrices and Anti-Circular Matrices by Yue, Xiaopeng and Liang, Xiquan
- Polygonal Numbers by Grabowski, Adam

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 14, Issue 3 (Sep 2006)

### Simple Continued Fractions and Their Convergents

Li, Bo / Zhang, Yan / Korniłowicz, Artur

Page 71

**Published Online:** 06/09/2008

- Save
- Open Access

- Save
- Open Access

### Connectedness and Continuous Sequences in Finite Topological Spaces

Nakamura, Yatsuka

Page 93

**Published Online:** 06/09/2008

- Save
- Open Access

### The Definition of Finite Sequences and Matrices of Probability, and Addition of Matrices of Real Elements

Zhang, Bo / Nakamura, Yatsuka

Page 101

**Published Online:** 06/09/2008

- Save
- Open Access

### Several Differentiation Formulas of Special Functions. Part IV

Li, Bo / Wang, Peng

Page 109

**Published Online:** 06/09/2008

- Save
- Open Access

### Difference and Difference Quotient

Li, Bo / Zhang, Yan / Liang, Xiquan

Page 115

**Published Online:** 06/09/2008

- Save
- Open Access

## Comments (0)