Zeszyty czasopisma

Tom 31 (2023): Zeszyt 1 (September 2023)

Tom 30 (2022): Zeszyt 4 (December 2022)

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 (September 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 (December 2012)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Wyszukiwanie

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

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

Wyszukiwanie

0 Artykułów
Otwarty dostęp

Concatenation of Finite Sequences

Data publikacji: 16 May 2019
Zakres stron: 1 - 13

Abstrakt

Słowa kluczowe

  • finite sequence
  • finite 0-sequence
  • concatenation

MSC 2010

  • 11B99
  • 68T99
  • 03B35
Otwarty dostęp

Bilinear Operators on Normed Linear Spaces

Data publikacji: 16 May 2019
Zakres stron: 15 - 23

Abstrakt

Słowa kluczowe

  • Lipschitz continuity
  • bounded linear operator
  • bilinear operator
  • algebraic structure
  • Banach space

MSC 2010

  • 46-00
  • 47A07
  • 47A30
  • 68T99
  • 03B35
Otwarty dostęp

A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables

Data publikacji: 16 May 2019
Zakres stron: 25 - 34

Abstrakt

Słowa kluczowe

  • partial differential equations
  • separation of variables
  • superposition principle

MSC 2010

  • 35A08
  • 68T99
  • 03B35
Otwarty dostęp

Multilinear Operator and Its Basic Properties

Data publikacji: 16 May 2019
Zakres stron: 35 - 45

Abstrakt

Słowa kluczowe

  • Lipschitz continuity
  • bounded linear operators
  • bilinear operators
  • algebraic structure
  • Banach space

MSC 2010

  • 46-00
  • 47A07
  • 47A30
  • 68T99
  • 03B35
Otwarty dostęp

Cross-Ratio in Real Vector Space

Data publikacji: 16 May 2019
Zakres stron: 47 - 60

Abstrakt

Słowa kluczowe

  • affine ratio
  • cross-ratio
  • real vector space
  • geometry

MSC 2010

  • 15A03
  • 51A05
  • 68T99
  • 03B35
Otwarty dostęp

Continuity of Multilinear Operator on Normed Linear Spaces

Data publikacji: 16 May 2019
Zakres stron: 61 - 65

Abstrakt

Słowa kluczowe

  • Lipschitz continuity
  • bounded linear operators
  • multilinear operators
  • Banach space

MSC 2010

  • 46-00
  • 47A07
  • 47A30
  • 68T99
  • 03B35
Otwarty dostęp

Fubini’s Theorem

Data publikacji: 16 May 2019
Zakres stron: 67 - 74

Abstrakt

Słowa kluczowe

  • Fubini’s theorem
  • product measure
  • multiple integral
  • iterated integral

MSC 2010

  • 28A35
  • 68T99
  • 03B35
Otwarty dostęp

Tarski Geometry Axioms. Part IV – Right Angle

Data publikacji: 16 May 2019
Zakres stron: 75 - 85

Abstrakt

Słowa kluczowe

  • Tarski geometry
  • foundations of geometry
  • right angle

MSC 2010

  • 51A05
  • 51M04
  • 68T99
  • 03B35
Otwarty dostęp

Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm

Data publikacji: 16 May 2019
Zakres stron: 87 - 91

Abstrakt

Słowa kluczowe

  • algorithms
  • power residues
  • Euclidean algorithm

MSC 2010

  • 68W40
  • 11A05
  • 11A15
  • 03B35
0 Artykułów
Otwarty dostęp

Concatenation of Finite Sequences

Data publikacji: 16 May 2019
Zakres stron: 1 - 13

Abstrakt

Słowa kluczowe

  • finite sequence
  • finite 0-sequence
  • concatenation

MSC 2010

  • 11B99
  • 68T99
  • 03B35
Otwarty dostęp

Bilinear Operators on Normed Linear Spaces

Data publikacji: 16 May 2019
Zakres stron: 15 - 23

Abstrakt

Słowa kluczowe

  • Lipschitz continuity
  • bounded linear operator
  • bilinear operator
  • algebraic structure
  • Banach space

MSC 2010

  • 46-00
  • 47A07
  • 47A30
  • 68T99
  • 03B35
Otwarty dostęp

A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables

Data publikacji: 16 May 2019
Zakres stron: 25 - 34

Abstrakt

Słowa kluczowe

  • partial differential equations
  • separation of variables
  • superposition principle

MSC 2010

  • 35A08
  • 68T99
  • 03B35
Otwarty dostęp

Multilinear Operator and Its Basic Properties

Data publikacji: 16 May 2019
Zakres stron: 35 - 45

Abstrakt

Słowa kluczowe

  • Lipschitz continuity
  • bounded linear operators
  • bilinear operators
  • algebraic structure
  • Banach space

MSC 2010

  • 46-00
  • 47A07
  • 47A30
  • 68T99
  • 03B35
Otwarty dostęp

Cross-Ratio in Real Vector Space

Data publikacji: 16 May 2019
Zakres stron: 47 - 60

Abstrakt

Słowa kluczowe

  • affine ratio
  • cross-ratio
  • real vector space
  • geometry

MSC 2010

  • 15A03
  • 51A05
  • 68T99
  • 03B35
Otwarty dostęp

Continuity of Multilinear Operator on Normed Linear Spaces

Data publikacji: 16 May 2019
Zakres stron: 61 - 65

Abstrakt

Słowa kluczowe

  • Lipschitz continuity
  • bounded linear operators
  • multilinear operators
  • Banach space

MSC 2010

  • 46-00
  • 47A07
  • 47A30
  • 68T99
  • 03B35
Otwarty dostęp

Fubini’s Theorem

Data publikacji: 16 May 2019
Zakres stron: 67 - 74

Abstrakt

Słowa kluczowe

  • Fubini’s theorem
  • product measure
  • multiple integral
  • iterated integral

MSC 2010

  • 28A35
  • 68T99
  • 03B35
Otwarty dostęp

Tarski Geometry Axioms. Part IV – Right Angle

Data publikacji: 16 May 2019
Zakres stron: 75 - 85

Abstrakt

Słowa kluczowe

  • Tarski geometry
  • foundations of geometry
  • right angle

MSC 2010

  • 51A05
  • 51M04
  • 68T99
  • 03B35
Otwarty dostęp

Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm

Data publikacji: 16 May 2019
Zakres stron: 87 - 91

Abstrakt

Słowa kluczowe

  • algorithms
  • power residues
  • Euclidean algorithm

MSC 2010

  • 68W40
  • 11A05
  • 11A15
  • 03B35