Show Summary Details

# Formalized Mathematics

### (a computer assisted approach)

Editor-in-Chief: Matuszewski, Roman

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 19, Issue 3 (Sep 2011)

- Open Access
- Save

### Set of Points on Elliptic Curve in Projective Coordinates

Futa, Yuichi / Okazaki, Hiroyuki / Shidama, Yasunari

Page 131

**Published Online:** 04/26/2012

- Open Access
- Save

### Continuity of Barycentric Coordinates in Euclidean Topological Spaces

Pąk, Karol

Page 139

**Published Online:** 04/26/2012

- Open Access
- Save

- Open Access
- Save

- Open Access
- Save

### Preliminaries to Classical First Order Model Theory

Caminati, Marco

Page 155

**Published Online:** 04/26/2012

- Open Access
- Save

### Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms

Caminati, Marco

Page 169

**Published Online:** 04/26/2012

- Open Access
- Save

### First Order Languages: Further Syntax and Semantics

Caminati, Marco

Page 179

**Published Online:** 04/26/2012

- Open Access
- Save

### Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages

Caminati, Marco

Page 193

**Published Online:** 04/26/2012

- Open Access
- Save

### Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem

Caminati, Marco

Page 205

**Published Online:** 04/26/2012

- Open Access
- Save

## Comments (0)