Ausgaben

Zeitschriften und Ausgaben

Volumen 29 (2021): Heft 4 (December 2021)

Volumen 29 (2021): Heft 3 (October 2021)

Volumen 29 (2021): Heft 2 (July 2021)

Volumen 29 (2021): Heft 1 (April 2021)

Volumen 28 (2020): Heft 4 (December 2020)

Volumen 28 (2020): Heft 3 (October 2020)

Volumen 28 (2020): Heft 2 (July 2020)

Volumen 28 (2020): Heft 1 (April 2020)

Volumen 27 (2019): Heft 4 (December 2019)

Volumen 27 (2019): Heft 3 (October 2019)

Volumen 27 (2019): Heft 2 (July 2019)

Volumen 27 (2019): Heft 1 (April 2019)

Volumen 26 (2018): Heft 4 (December 2018)

Volumen 26 (2018): Heft 3 (October 2018)

Volumen 26 (2018): Heft 2 (July 2018)

Volumen 26 (2018): Heft 1 (April 2018)

Volumen 25 (2017): Heft 4 (December 2017)

Volumen 25 (2017): Heft 3 (October 2017)

Volumen 25 (2017): Heft 2 (July 2017)

Volumen 25 (2017): Heft 1 (March 2017)

Volumen 24 (2016): Heft 4 (December 2016)

Volumen 24 (2016): Heft 3 (September 2016)

Volumen 24 (2016): Heft 2 (June 2016)

Volumen 24 (2016): Heft 1 (March 2016)

Volumen 23 (2015): Heft 4 (December 2015)

Volumen 23 (2015): Heft 3 (September 2015)

Volumen 23 (2015): Heft 2 (June 2015)

Volumen 23 (2015): Heft 1 (March 2015)

Volumen 22 (2014): Heft 4 (December 2014)

Volumen 22 (2014): Heft 3 (September 2014)

Volumen 22 (2014): Heft 2 (June 2014)
Special Heft: 25 years of the Mizar Mathematical Library

Volumen 22 (2014): Heft 1 (March 2014)

Volumen 21 (2013): Heft 4 (December 2013)

Volumen 21 (2013): Heft 3 (October 2013)

Volumen 21 (2013): Heft 2 (June 2013)

Volumen 21 (2013): Heft 1 (January 2013)

Volumen 20 (2012): Heft 4 (December 2012)

Volumen 20 (2012): Heft 3 (September 2012)

Volumen 20 (2012): Heft 2 (June 2012)

Volumen 20 (2012): Heft 1 (January 2012)

Volumen 19 (2011): Heft 4 (December 2011)

Volumen 19 (2011): Heft 3 (September 2011)

Volumen 19 (2011): Heft 2 (June 2011)

Volumen 19 (2011): Heft 1 (March 2011)

Volumen 18 (2010): Heft 4 (December 2010)

Volumen 18 (2010): Heft 3 (September 2010)

Volumen 18 (2010): Heft 2 (June 2010)

Volumen 18 (2010): Heft 1 (March 2010)

Volumen 17 (2009): Heft 4 (December 2009)

Volumen 17 (2009): Heft 3 (September 2009)

Volumen 17 (2009): Heft 2 (June 2009)

Volumen 17 (2009): Heft 1 (March 2009)

Volumen 16 (2008): Heft 4 (December 2008)

Volumen 16 (2008): Heft 3 (September 2008)

Volumen 16 (2008): Heft 2 (June 2008)

Volumen 16 (2008): Heft 1 (March 2008)

Volumen 15 (2007): Heft 4 (December 2007)

Volumen 15 (2007): Heft 3 (September 2007)

Volumen 15 (2007): Heft 2 (June 2007)

Volumen 15 (2007): Heft 1 (March 2007)

Volumen 14 (2006): Heft 4 (December 2006)

Volumen 14 (2006): Heft 3 (September 2006)

Volumen 14 (2006): Heft 2 (June 2006)

Volumen 14 (2006): Heft 1 (March 2006)

Zeitschriftendaten
Format
Zeitschrift
eISSN
1898-9934
Erstveröffentlichung
09 Jun 2008
Erscheinungsweise
4 Hefte pro Jahr
Sprachen
Englisch

Suche

Volumen 29 (2021): Heft 4 (December 2021)

Zeitschriftendaten
Format
Zeitschrift
eISSN
1898-9934
Erstveröffentlichung
09 Jun 2008
Erscheinungsweise
4 Hefte pro Jahr
Sprachen
Englisch

Suche

10 Artikel
Uneingeschränkter Zugang

Automatization of Ternary Boolean Algebras

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 153 - 159

Zusammenfassung

Schlüsselwörter

  • ternary Boolean algebra
  • single axiom system
  • lattice

MSC

  • 68V20
  • 06B05
  • 06B75
Uneingeschränkter Zugang

Duality Notions in Real Projective Plane

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 161 - 173

Zusammenfassung

Schlüsselwörter

  • Principle of Duality
  • duality
  • real projective plane
  • converse theorem

MSC

  • 51A05
  • 51N15
  • 68V20
Uneingeschränkter Zugang

Finite Dimensional Real Normed Spaces are Proper Metric Spaces

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 175 - 184

Zusammenfassung

Schlüsselwörter

  • real vector space
  • topological space
  • normed spaces
  • L1-norm
  • maximum norm
  • linear isometry
  • proper metric space

MSC

  • 15A04
  • 40A05
  • 46A50
  • 68V20
Uneingeschränkter Zugang

Relationship between the Riemann and Lebesgue Integrals

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 185 - 199

Zusammenfassung

Schlüsselwörter

  • Riemann integrals
  • Lebesgue integrals

MSC

  • 26A42
  • 68V20
Uneingeschränkter Zugang

Improper Integral. Part I

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 201 - 220

Zusammenfassung

Schlüsselwörter

  • Improper integrals

MSC

  • 26A42
  • 68V20
Uneingeschränkter Zugang

Prime Representing Polynomial

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 221 - 228

Zusammenfassung

Schlüsselwörter

  • prime number
  • polynomial reduction
  • diophantine equation

MSC

  • 11D45
  • 68V20
Uneingeschränkter Zugang

Quadratic Extensions

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 229 - 240

Zusammenfassung

Schlüsselwörter

  • field extensions
  • quadratic polynomials
  • quadratic extensions

MSC

  • 12F05
  • 68V20
Uneingeschränkter Zugang

The 3-Fold Product Space of Real Normed Spaces and its Properties

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 241 - 248

Zusammenfassung

Schlüsselwörter

  • 3-fold product spaces
  • linear spaces
  • normed spaces

MSC

  • 46B15
  • 46B20
  • 68V20
Uneingeschränkter Zugang

About Graph Sums

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 249 - 278

Zusammenfassung

Schlüsselwörter

  • graph union
  • graph sum

MSC

  • 05C76
  • 68V20
Uneingeschränkter Zugang

Improper Integral. Part II

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 279 - 294

Zusammenfassung

Schlüsselwörter

  • improper integral

MSC

  • 26A42
  • 68V20
10 Artikel
Uneingeschränkter Zugang

Automatization of Ternary Boolean Algebras

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 153 - 159

Zusammenfassung

Schlüsselwörter

  • ternary Boolean algebra
  • single axiom system
  • lattice

MSC

  • 68V20
  • 06B05
  • 06B75
Uneingeschränkter Zugang

Duality Notions in Real Projective Plane

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 161 - 173

Zusammenfassung

Schlüsselwörter

  • Principle of Duality
  • duality
  • real projective plane
  • converse theorem

MSC

  • 51A05
  • 51N15
  • 68V20
Uneingeschränkter Zugang

Finite Dimensional Real Normed Spaces are Proper Metric Spaces

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 175 - 184

Zusammenfassung

Schlüsselwörter

  • real vector space
  • topological space
  • normed spaces
  • L1-norm
  • maximum norm
  • linear isometry
  • proper metric space

MSC

  • 15A04
  • 40A05
  • 46A50
  • 68V20
Uneingeschränkter Zugang

Relationship between the Riemann and Lebesgue Integrals

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 185 - 199

Zusammenfassung

Schlüsselwörter

  • Riemann integrals
  • Lebesgue integrals

MSC

  • 26A42
  • 68V20
Uneingeschränkter Zugang

Improper Integral. Part I

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 201 - 220

Zusammenfassung

Schlüsselwörter

  • Improper integrals

MSC

  • 26A42
  • 68V20
Uneingeschränkter Zugang

Prime Representing Polynomial

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 221 - 228

Zusammenfassung

Schlüsselwörter

  • prime number
  • polynomial reduction
  • diophantine equation

MSC

  • 11D45
  • 68V20
Uneingeschränkter Zugang

Quadratic Extensions

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 229 - 240

Zusammenfassung

Schlüsselwörter

  • field extensions
  • quadratic polynomials
  • quadratic extensions

MSC

  • 12F05
  • 68V20
Uneingeschränkter Zugang

The 3-Fold Product Space of Real Normed Spaces and its Properties

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 241 - 248

Zusammenfassung

Schlüsselwörter

  • 3-fold product spaces
  • linear spaces
  • normed spaces

MSC

  • 46B15
  • 46B20
  • 68V20
Uneingeschränkter Zugang

About Graph Sums

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 249 - 278

Zusammenfassung

Schlüsselwörter

  • graph union
  • graph sum

MSC

  • 05C76
  • 68V20
Uneingeschränkter Zugang

Improper Integral. Part II

Online veröffentlicht: 09 Jul 2022
Seitenbereich: 279 - 294

Zusammenfassung

Schlüsselwörter

  • improper integral

MSC

  • 26A42
  • 68V20

Planen Sie Ihre Fernkonferenz mit Scienceendo