Zeszyty czasopisma

Tom 30 (2022): Zeszyt 3 (October 2022)

Tom 30 (2022): Zeszyt 2 (July 2022)

Tom 30 (2022): Zeszyt 1 (April 2022)

Tom 29 (2021): Zeszyt 4 (December 2021)

Tom 29 (2021): Zeszyt 3 (October 2021)

Tom 29 (2021): Zeszyt 2 (July 2021)

Tom 29 (2021): Zeszyt 1 (April 2021)

Tom 28 (2020): Zeszyt 4 (December 2020)

Tom 28 (2020): Zeszyt 3 (October 2020)

Tom 28 (2020): Zeszyt 2 (July 2020)

Tom 28 (2020): Zeszyt 1 (April 2020)

Tom 27 (2019): Zeszyt 4 (December 2019)

Tom 27 (2019): Zeszyt 3 (October 2019)

Tom 27 (2019): Zeszyt 2 (July 2019)

Tom 27 (2019): Zeszyt 1 (April 2019)

Tom 26 (2018): Zeszyt 4 (December 2018)

Tom 26 (2018): Zeszyt 3 (October 2018)

Tom 26 (2018): Zeszyt 2 (July 2018)

Tom 26 (2018): Zeszyt 1 (April 2018)

Tom 25 (2017): Zeszyt 4 (December 2017)

Tom 25 (2017): Zeszyt 3 (October 2017)

Tom 25 (2017): Zeszyt 2 (July 2017)

Tom 25 (2017): Zeszyt 1 (March 2017)

Tom 24 (2016): Zeszyt 4 (December 2016)

Tom 24 (2016): Zeszyt 3 (September 2016)

Tom 24 (2016): Zeszyt 2 (June 2016)

Tom 24 (2016): Zeszyt 1 (March 2016)

Tom 23 (2015): Zeszyt 4 (December 2015)

Tom 23 (2015): Zeszyt 3 (September 2015)

Tom 23 (2015): Zeszyt 2 (June 2015)

Tom 23 (2015): Zeszyt 1 (March 2015)

Tom 22 (2014): Zeszyt 4 (December 2014)

Tom 22 (2014): Zeszyt 3 (September 2014)

Tom 22 (2014): Zeszyt 2 (June 2014)
Special Zeszyt: 25 years of the Mizar Mathematical Library

Tom 22 (2014): Zeszyt 1 (March 2014)

Tom 21 (2013): Zeszyt 4 (December 2013)

Tom 21 (2013): Zeszyt 3 (October 2013)

Tom 21 (2013): Zeszyt 2 (June 2013)

Tom 21 (2013): Zeszyt 1 (January 2013)

Tom 20 (2012): Zeszyt 4 (December 2012)

Tom 20 (2012): Zeszyt 3 (September 2012)

Tom 20 (2012): Zeszyt 2 (June 2012)

Tom 20 (2012): Zeszyt 1 (January 2012)

Tom 19 (2011): Zeszyt 4 (December 2011)

Tom 19 (2011): Zeszyt 3 (September 2011)

Tom 19 (2011): Zeszyt 2 (June 2011)

Tom 19 (2011): Zeszyt 1 (March 2011)

Tom 18 (2010): Zeszyt 4 (December 2010)

Tom 18 (2010): Zeszyt 3 (September 2010)

Tom 18 (2010): Zeszyt 2 (June 2010)

Tom 18 (2010): Zeszyt 1 (March 2010)

Tom 17 (2009): Zeszyt 4 (December 2009)

Tom 17 (2009): Zeszyt 3 (September 2009)

Tom 17 (2009): Zeszyt 2 (June 2009)

Tom 17 (2009): Zeszyt 1 (March 2009)

Tom 16 (2008): Zeszyt 4 (December 2008)

Tom 16 (2008): Zeszyt 3 (September 2008)

Tom 16 (2008): Zeszyt 2 (June 2008)

Tom 16 (2008): Zeszyt 1 (March 2008)

Tom 15 (2007): Zeszyt 4 (December 2007)

Tom 15 (2007): Zeszyt 3 (September 2007)

Tom 15 (2007): Zeszyt 2 (June 2007)

Tom 15 (2007): Zeszyt 1 (March 2007)

Tom 14 (2006): Zeszyt 4 (December 2006)

Tom 14 (2006): Zeszyt 3 (September 2006)

Tom 14 (2006): Zeszyt 2 (June 2006)

Tom 14 (2006): Zeszyt 1 (March 2006)

Informacje o czasopiśmie
Format
Czasopismo
eISSN
1898-9934
Pierwsze wydanie
09 Jun 2008
Częstotliwość wydawania
4 razy w roku
Języki
Angielski

Wyszukiwanie

Tom 25 (2017): Zeszyt 1 (March 2017)

Informacje o czasopiśmie
Format
Czasopismo
eISSN
1898-9934
Pierwsze wydanie
09 Jun 2008
Częstotliwość wydawania
4 razy w roku
Języki
Angielski

Wyszukiwanie

7 Artykułów
Otwarty dostęp

Fubini’s Theorem on Measure

Data publikacji: 11 May 2017
Zakres stron: 1 - 29

Abstrakt

Słowa kluczowe

  • Fubini’s theorem
  • product measure

MSC

  • 28A35
  • 03B35

MML

  • identifier: MEASUR11
  • version: 8.1.05 5.40.1286
Otwarty dostęp

Differentiability of Polynomials over Reals

Data publikacji: 11 May 2017
Zakres stron: 31 - 37

Abstrakt

Słowa kluczowe

  • differentiation of real polynomials
  • derivative of real polynomials

MSC

  • 26A24
  • 03B35

MML

  • identifier: POLYDIFF
  • version: 8.1.05 5.40.1286
Otwarty dostęp

Introduction to Liouville Numbers

Data publikacji: 11 May 2017
Zakres stron: 39 - 48

Abstrakt

Słowa kluczowe

  • Liouville number
  • Diophantine approximation
  • transcendental number
  • Liouville constant

MSC

  • 11J81
  • 11K60
  • 03B35

MML

  • identifier: LIOUVIL1
  • version: 8.1.05 5.40.1286
Otwarty dostęp

All Liouville Numbers are Transcendental

Data publikacji: 11 May 2017
Zakres stron: 49 - 54

Abstrakt

Słowa kluczowe

  • Liouville number
  • Diophantine approximation
  • transcendental number
  • Liouville constant

MSC

  • 11J81
  • 11K60
  • 03B35

MML

  • identifier: LIOUVIL1
  • version: 8.1.05 5.40.1286
Otwarty dostęp

Group of Homography in Real Projective Plane

Data publikacji: 11 May 2017
Zakres stron: 55 - 62

Abstrakt

Słowa kluczowe

  • projectivity
  • projective transformation
  • real projective plane
  • group of homography

MSC

  • 51N15
  • 03B35

MML

  • identifier: ANPROJ_9
  • version: 8.1.05 5.40.1289
Otwarty dostęp

Ordered Rings and Fields

Data publikacji: 11 May 2017
Zakres stron: 63 - 72

Abstrakt

Słowa kluczowe

  • commutative algebra
  • ordered fields
  • positive cones

MSC

  • 12J15
  • 03B35

MML

  • identifier: REALALG1
  • version: 8.1.05 5.40.1289
Otwarty dostęp

Embedded Lattice and Properties of Gram Matrix

Data publikacji: 11 May 2017
Zakres stron: 73 - 86

Abstrakt

Słowa kluczowe

  • Z-lattice
  • Gram matrix
  • rational Z-lattice

MSC

  • 15A09
  • 15A63
  • 03B35

MML

  • identifier: ZMODLAT2
  • version: 8.1.05 5.40.1289
7 Artykułów
Otwarty dostęp

Fubini’s Theorem on Measure

Data publikacji: 11 May 2017
Zakres stron: 1 - 29

Abstrakt

Słowa kluczowe

  • Fubini’s theorem
  • product measure

MSC

  • 28A35
  • 03B35

MML

  • identifier: MEASUR11
  • version: 8.1.05 5.40.1286
Otwarty dostęp

Differentiability of Polynomials over Reals

Data publikacji: 11 May 2017
Zakres stron: 31 - 37

Abstrakt

Słowa kluczowe

  • differentiation of real polynomials
  • derivative of real polynomials

MSC

  • 26A24
  • 03B35

MML

  • identifier: POLYDIFF
  • version: 8.1.05 5.40.1286
Otwarty dostęp

Introduction to Liouville Numbers

Data publikacji: 11 May 2017
Zakres stron: 39 - 48

Abstrakt

Słowa kluczowe

  • Liouville number
  • Diophantine approximation
  • transcendental number
  • Liouville constant

MSC

  • 11J81
  • 11K60
  • 03B35

MML

  • identifier: LIOUVIL1
  • version: 8.1.05 5.40.1286
Otwarty dostęp

All Liouville Numbers are Transcendental

Data publikacji: 11 May 2017
Zakres stron: 49 - 54

Abstrakt

Słowa kluczowe

  • Liouville number
  • Diophantine approximation
  • transcendental number
  • Liouville constant

MSC

  • 11J81
  • 11K60
  • 03B35

MML

  • identifier: LIOUVIL1
  • version: 8.1.05 5.40.1286
Otwarty dostęp

Group of Homography in Real Projective Plane

Data publikacji: 11 May 2017
Zakres stron: 55 - 62

Abstrakt

Słowa kluczowe

  • projectivity
  • projective transformation
  • real projective plane
  • group of homography

MSC

  • 51N15
  • 03B35

MML

  • identifier: ANPROJ_9
  • version: 8.1.05 5.40.1289
Otwarty dostęp

Ordered Rings and Fields

Data publikacji: 11 May 2017
Zakres stron: 63 - 72

Abstrakt

Słowa kluczowe

  • commutative algebra
  • ordered fields
  • positive cones

MSC

  • 12J15
  • 03B35

MML

  • identifier: REALALG1
  • version: 8.1.05 5.40.1289
Otwarty dostęp

Embedded Lattice and Properties of Gram Matrix

Data publikacji: 11 May 2017
Zakres stron: 73 - 86

Abstrakt

Słowa kluczowe

  • Z-lattice
  • Gram matrix
  • rational Z-lattice

MSC

  • 15A09
  • 15A63
  • 03B35

MML

  • identifier: ZMODLAT2
  • version: 8.1.05 5.40.1289

Zaplanuj zdalną konferencję ze Sciendo