Open Access

Formalized Mathematics

Volume 15 (2007): Issue 4 (December 2007)

Download Cover

Previous Issue

Next Issue

10 Articles

Sort By

Open Access | Jun 09, 2008

Basic Properties of the Rank of Matrices over a Field

Karol Pąk

Pąk, Karol

Open Access | Jun 09, 2008

Several Classes of BCK-algebras and their Properties

and

Open Access | Jun 09, 2008

Arrow's Impossibility Theorem

Freek Wiedijk

Wiedijk, Freek

Open Access | Jun 09, 2008

Several Differentiation Formulas of Special Functions. Part VI

and

Open Access | Jun 09, 2008

Basic Operations on Preordered Coherent Spaces

and

Open Access | Jun 09, 2008

Several Integrability Formulas of Special Functions

and

Open Access | Jun 09, 2008

Congruences and Quotient Algebras of BCI-algebras

and

Open Access | Jun 09, 2008

Alexandroff One Point Compactification

Czesław Byliński

Byliński, Czesław

Open Access | Jun 09, 2008

Linear Congruence Relation and Complete Residue Systems

and

Open Access | Jun 09, 2008

Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers

and

Search

All Volumes and Issues in this Journal

Volume 32 (2024)

Issue 1 (August 2024)

Volume 31 (2023)

Issue 1 (September 2023)

Volume 30 (2022)

Volume 29 (2021)

Volume 28 (2020)

Volume 27 (2019)

Volume 26 (2018)

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 (2006)

Language:: English

Publication timeframe:: 1 times per year
Journal Subjects:: Mathematics, General Mathematics, Computer Sciences, Computer Sciences, other

Journal RSS Feed