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
- N-Dimensional Binary Vector Spaces by Arai, Kenichi and Okazaki, Hiroyuki
- 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
- Semiring of Sets: Examples by Coghetto, Roland
- 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
- 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 17, Issue 1 (Mar 2009)

### The Real Vector Spaces of Finite Sequences are Finite Dimensional

Nakamura, Yatsuka / Korniłowicz, Artur / Oya, Nagato / Shidama, Yasunari

Page 1

**Published Online:** 03/20/2009

- Save
- Open Access

### Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions

Li, Bo / Zhuang, Yanping / Xie, Bing / Wang, Pan

Page 11

**Published Online:** 03/20/2009

- Save
- Open Access

### Several Integrability Formulas of Special Functions. Part II

Li, Bo / Zhuang, Yanping / Men, Yanhong / Liang, Xiquan

Page 23

**Published Online:** 03/20/2009

- Save
- Open Access

### Cell Petri Net Concepts

Jitsukawa, Mitsuru / Kawamoto, Pauline / Shidama, Yasunari / Nakamura, Yatsuka

Page 37

**Published Online:** 03/20/2009

- Save
- Open Access

### Arithmetic Operations on Functions from Sets into Functional Sets

Korniłowicz, Artur

Page 43

**Published Online:** 03/20/2009

- Save
- Open Access

## Comments (0)