Journal & Issues

Volume 31 (2023): Issue 1 (September 2023)

Volume 30 (2022): Issue 4 (December 2022)

Volume 30 (2022): Issue 3 (October 2022)

Volume 30 (2022): Issue 2 (July 2022)

Volume 30 (2022): Issue 1 (April 2022)

Volume 29 (2021): Issue 4 (December 2021)

Volume 29 (2021): Issue 3 (September 2021)

Volume 29 (2021): Issue 2 (July 2021)

Volume 29 (2021): Issue 1 (April 2021)

Volume 28 (2020): Issue 4 (December 2020)

Volume 28 (2020): Issue 3 (October 2020)

Volume 28 (2020): Issue 2 (July 2020)

Volume 28 (2020): Issue 1 (April 2020)

Volume 27 (2019): Issue 4 (December 2019)

Volume 27 (2019): Issue 3 (October 2019)

Volume 27 (2019): Issue 2 (July 2019)

Volume 27 (2019): Issue 1 (April 2019)

Volume 26 (2018): Issue 4 (December 2018)

Volume 26 (2018): Issue 3 (October 2018)

Volume 26 (2018): Issue 2 (July 2018)

Volume 26 (2018): Issue 1 (April 2018)

Volume 25 (2017): Issue 4 (December 2017)

Volume 25 (2017): Issue 3 (October 2017)

Volume 25 (2017): Issue 2 (July 2017)

Volume 25 (2017): Issue 1 (March 2017)

Volume 24 (2016): Issue 4 (December 2016)

Volume 24 (2016): Issue 3 (September 2016)

Volume 24 (2016): Issue 2 (June 2016)

Volume 24 (2016): Issue 1 (March 2016)

Volume 23 (2015): Issue 4 (December 2015)

Volume 23 (2015): Issue 3 (September 2015)

Volume 23 (2015): Issue 2 (June 2015)

Volume 23 (2015): Issue 1 (March 2015)

Volume 22 (2014): Issue 4 (December 2014)

Volume 22 (2014): Issue 3 (September 2014)

Volume 22 (2014): Issue 2 (June 2014)
Special Issue: 25 years of the Mizar Mathematical Library

Volume 22 (2014): Issue 1 (March 2014)

Volume 21 (2013): Issue 4 (December 2013)

Volume 21 (2013): Issue 3 (October 2013)

Volume 21 (2013): Issue 2 (June 2013)

Volume 21 (2013): Issue 1 (January 2013)

Volume 20 (2012): Issue 4 (December 2012)

Volume 20 (2012): Issue 3 (December 2012)

Volume 20 (2012): Issue 2 (December 2012)

Volume 20 (2012): Issue 1 (January 2012)

Volume 19 (2011): Issue 4 (January 2011)

Volume 19 (2011): Issue 3 (January 2011)

Volume 19 (2011): Issue 2 (January 2011)

Volume 19 (2011): Issue 1 (January 2011)

Volume 18 (2010): Issue 4 (January 2010)

Volume 18 (2010): Issue 3 (January 2010)

Volume 18 (2010): Issue 2 (January 2010)

Volume 18 (2010): Issue 1 (January 2010)

Volume 17 (2009): Issue 4 (January 2009)

Volume 17 (2009): Issue 3 (January 2009)

Volume 17 (2009): Issue 2 (January 2009)

Volume 17 (2009): Issue 1 (January 2009)

Volume 16 (2008): Issue 4 (January 2008)

Volume 16 (2008): Issue 3 (January 2008)

Volume 16 (2008): Issue 2 (January 2008)

Volume 16 (2008): Issue 1 (January 2008)

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

Volume 15 (2007): Issue 3 (January 2007)

Volume 15 (2007): Issue 2 (January 2007)

Volume 15 (2007): Issue 1 (January 2007)

Volume 14 (2006): Issue 4 (January 2006)

Volume 14 (2006): Issue 3 (January 2006)

Volume 14 (2006): Issue 2 (January 2006)

Volume 14 (2006): Issue 1 (January 2006)

Journal Details
Format
Journal
eISSN
1898-9934
ISSN
1426-2630
First Published
09 Jun 2008
Publication timeframe
4 times per year
Languages
English

Search

Volume 14 (2006): Issue 3 (January 2006)

Journal Details
Format
Journal
eISSN
1898-9934
ISSN
1426-2630
First Published
09 Jun 2008
Publication timeframe
4 times per year
Languages
English

Search

0 Articles
Open Access

Simple Continued Fractions and Their Convergents

Published Online: 09 Jun 2008
Page range: 71 - 78

Abstract

Simple Continued Fractions and Their Convergents

The article introduces simple continued fractions. They are defined as an infinite sequence of integers. The characterization of rational numbers in terms of simple continued fractions is shown. We also give definitions of convergents of continued fractions, and several important properties of simple continued fractions and their convergents.

Open Access

Chordal Graphs

Published Online: 09 Jun 2008
Page range: 79 - 92

Abstract

Chordal Graphs

We are formalizing [9, pp. 81-84] where chordal graphs are defined and their basic characterization is given. This formalization is a part of the M.Sc. work of the first author under supervision of the second author.

Open Access

Connectedness and Continuous Sequences in Finite Topological Spaces

Published Online: 09 Jun 2008
Page range: 93 - 100

Abstract

Connectedness and Continuous Sequences in Finite Topological Spaces

First, equivalence conditions for connectedness are examined for a finite topological space (originated in [9]). Secondly, definitions of subspace, and components of the subspace of a finite topological space are given. Lastly, concepts of continuous finite sequence and minimum path of finite topological space are proposed.

Open Access

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

Published Online: 09 Jun 2008
Page range: 101 - 108

Abstract

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

In this article, we first define finite sequences of probability distribution and matrices of joint probability and conditional probability. We discuss also the concept of marginal probability. Further, we describe some theorems of matrices of real elements including quadratic form.

Open Access

Several Differentiation Formulas of Special Functions. Part IV

Published Online: 09 Jun 2008
Page range: 109 - 114

Abstract

Several Differentiation Formulas of Special Functions. Part IV

In this article, we give several differentiation formulas of special and composite functions including trigonometric function, polynomial function and logarithmic function.

Open Access

Difference and Difference Quotient

Published Online: 09 Jun 2008
Page range: 115 - 119

Abstract

Difference and Difference Quotient

In this article, we give the definitions of forward difference, backward difference, central difference and difference quotient, and some of their important properties.

0 Articles
Open Access

Simple Continued Fractions and Their Convergents

Published Online: 09 Jun 2008
Page range: 71 - 78

Abstract

Simple Continued Fractions and Their Convergents

The article introduces simple continued fractions. They are defined as an infinite sequence of integers. The characterization of rational numbers in terms of simple continued fractions is shown. We also give definitions of convergents of continued fractions, and several important properties of simple continued fractions and their convergents.

Open Access

Chordal Graphs

Published Online: 09 Jun 2008
Page range: 79 - 92

Abstract

Chordal Graphs

We are formalizing [9, pp. 81-84] where chordal graphs are defined and their basic characterization is given. This formalization is a part of the M.Sc. work of the first author under supervision of the second author.

Open Access

Connectedness and Continuous Sequences in Finite Topological Spaces

Published Online: 09 Jun 2008
Page range: 93 - 100

Abstract

Connectedness and Continuous Sequences in Finite Topological Spaces

First, equivalence conditions for connectedness are examined for a finite topological space (originated in [9]). Secondly, definitions of subspace, and components of the subspace of a finite topological space are given. Lastly, concepts of continuous finite sequence and minimum path of finite topological space are proposed.

Open Access

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

Published Online: 09 Jun 2008
Page range: 101 - 108

Abstract

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

In this article, we first define finite sequences of probability distribution and matrices of joint probability and conditional probability. We discuss also the concept of marginal probability. Further, we describe some theorems of matrices of real elements including quadratic form.

Open Access

Several Differentiation Formulas of Special Functions. Part IV

Published Online: 09 Jun 2008
Page range: 109 - 114

Abstract

Several Differentiation Formulas of Special Functions. Part IV

In this article, we give several differentiation formulas of special and composite functions including trigonometric function, polynomial function and logarithmic function.

Open Access

Difference and Difference Quotient

Published Online: 09 Jun 2008
Page range: 115 - 119

Abstract

Difference and Difference Quotient

In this article, we give the definitions of forward difference, backward difference, central difference and difference quotient, and some of their important properties.