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 25 (2017): Zeszyt 4 (December 2017)

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

Formally Real Fields

Data publikacji: 28 Mar 2018
Zakres stron: 249 - 259

Abstrakt

Słowa kluczowe

  • formally real fields
  • ordered fields
  • abstract value
  • square roots

MSC 2010

  • 12J15 03B35

MML

  • identifier: REALALG2
  • version: 8.1.06 5.45.1311
Otwarty dostęp

Introduction to Stopping Time in Stochastic Finance Theory. Part II

Data publikacji: 28 Mar 2018
Zakres stron: 261 - 268

Abstrakt

Słowa kluczowe

  • stopping time
  • stochastic process

MSC 2010

  • 60G40 03B35

MML

  • identifier: FINANCE5
  • version: 8.1.06 5.45.1311
Otwarty dostęp

Implicit Function Theorem. Part I

Data publikacji: 28 Mar 2018
Zakres stron: 269 - 281

Abstrakt

Słowa kluczowe

  • implicit function theorem
  • Banach fixed point theorem
  • Lipschitz continuity

MSC 2010

  • 26B10 53A07 03B35

MML

  • identifier: NDIFF 8
  • version: 8.1.06 5.45.1311
Otwarty dostęp

Introduction to Diophantine Approximation. Part II

Data publikacji: 28 Mar 2018
Zakres stron: 283 - 288

Abstrakt

Słowa kluczowe

  • Diophantine approximation
  • rational approximation
  • Dirichlet
  • Hurwitz
  • Minkowski

MSC 2010

  • 11J20 11J25 03B35

MML

  • identifier: DIOPHAN2
  • version: 8.1.06 5.45.1311
Otwarty dostęp

Tarski Geometry Axioms. Part III

Data publikacji: 28 Mar 2018
Zakres stron: 289 - 313

Abstrakt

Słowa kluczowe

  • Tarski’s geometry axioms
  • foundations of geometry
  • Euclidean plane

MSC 2010

  • 51A05 51M04 03B35

MML

  • identifier: GTARSKI3
  • version: 8.1.06 5.45.1311
Otwarty dostęp

The Matiyasevich Theorem. Preliminaries

Data publikacji: 28 Mar 2018
Zakres stron: 315 - 322

Abstrakt

Słowa kluczowe

  • Pell’s equation
  • Diophantine equation
  • Hilbert’s 10th problem

MSC 2010

  • 11D45 03B35

MML

  • identifier: HILB10 1
  • version: 8.1.06 5.45.1311
0 Artykułów
Otwarty dostęp

Formally Real Fields

Data publikacji: 28 Mar 2018
Zakres stron: 249 - 259

Abstrakt

Słowa kluczowe

  • formally real fields
  • ordered fields
  • abstract value
  • square roots

MSC 2010

  • 12J15 03B35

MML

  • identifier: REALALG2
  • version: 8.1.06 5.45.1311
Otwarty dostęp

Introduction to Stopping Time in Stochastic Finance Theory. Part II

Data publikacji: 28 Mar 2018
Zakres stron: 261 - 268

Abstrakt

Słowa kluczowe

  • stopping time
  • stochastic process

MSC 2010

  • 60G40 03B35

MML

  • identifier: FINANCE5
  • version: 8.1.06 5.45.1311
Otwarty dostęp

Implicit Function Theorem. Part I

Data publikacji: 28 Mar 2018
Zakres stron: 269 - 281

Abstrakt

Słowa kluczowe

  • implicit function theorem
  • Banach fixed point theorem
  • Lipschitz continuity

MSC 2010

  • 26B10 53A07 03B35

MML

  • identifier: NDIFF 8
  • version: 8.1.06 5.45.1311
Otwarty dostęp

Introduction to Diophantine Approximation. Part II

Data publikacji: 28 Mar 2018
Zakres stron: 283 - 288

Abstrakt

Słowa kluczowe

  • Diophantine approximation
  • rational approximation
  • Dirichlet
  • Hurwitz
  • Minkowski

MSC 2010

  • 11J20 11J25 03B35

MML

  • identifier: DIOPHAN2
  • version: 8.1.06 5.45.1311
Otwarty dostęp

Tarski Geometry Axioms. Part III

Data publikacji: 28 Mar 2018
Zakres stron: 289 - 313

Abstrakt

Słowa kluczowe

  • Tarski’s geometry axioms
  • foundations of geometry
  • Euclidean plane

MSC 2010

  • 51A05 51M04 03B35

MML

  • identifier: GTARSKI3
  • version: 8.1.06 5.45.1311
Otwarty dostęp

The Matiyasevich Theorem. Preliminaries

Data publikacji: 28 Mar 2018
Zakres stron: 315 - 322

Abstrakt

Słowa kluczowe

  • Pell’s equation
  • Diophantine equation
  • Hilbert’s 10th problem

MSC 2010

  • 11D45 03B35

MML

  • identifier: HILB10 1
  • version: 8.1.06 5.45.1311