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
ISSN
1426-2630
Erstveröffentlichung
09 Jun 2008
Erscheinungsweise
4 Hefte pro Jahr
Sprachen
Englisch

Suche

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

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

Suche

6 Artikel
Uneingeschränkter Zugang

Formally Real Fields

Online veröffentlicht: 28 Mar 2018
Seitenbereich: 249 - 259

Zusammenfassung

Schlüsselwörter

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

MSC 2010

  • 12J15 03B35

MML

  • identifier: REALALG2
  • version: 8.1.06 5.45.1311
Uneingeschränkter Zugang

Introduction to Stopping Time in Stochastic Finance Theory. Part II

Online veröffentlicht: 28 Mar 2018
Seitenbereich: 261 - 268

Zusammenfassung

Schlüsselwörter

  • stopping time
  • stochastic process

MSC 2010

  • 60G40 03B35

MML

  • identifier: FINANCE5
  • version: 8.1.06 5.45.1311
Uneingeschränkter Zugang

Implicit Function Theorem. Part I

Online veröffentlicht: 28 Mar 2018
Seitenbereich: 269 - 281

Zusammenfassung

Schlüsselwörter

  • 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
Uneingeschränkter Zugang

Introduction to Diophantine Approximation. Part II

Online veröffentlicht: 28 Mar 2018
Seitenbereich: 283 - 288

Zusammenfassung

Schlüsselwörter

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

MSC 2010

  • 11J20 11J25 03B35

MML

  • identifier: DIOPHAN2
  • version: 8.1.06 5.45.1311
Uneingeschränkter Zugang

Tarski Geometry Axioms. Part III

Online veröffentlicht: 28 Mar 2018
Seitenbereich: 289 - 313

Zusammenfassung

Schlüsselwörter

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

MSC 2010

  • 51A05 51M04 03B35

MML

  • identifier: GTARSKI3
  • version: 8.1.06 5.45.1311
Uneingeschränkter Zugang

The Matiyasevich Theorem. Preliminaries

Online veröffentlicht: 28 Mar 2018
Seitenbereich: 315 - 322

Zusammenfassung

Schlüsselwörter

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

MSC 2010

  • 11D45 03B35

MML

  • identifier: HILB10 1
  • version: 8.1.06 5.45.1311
6 Artikel
Uneingeschränkter Zugang

Formally Real Fields

Online veröffentlicht: 28 Mar 2018
Seitenbereich: 249 - 259

Zusammenfassung

Schlüsselwörter

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

MSC 2010

  • 12J15 03B35

MML

  • identifier: REALALG2
  • version: 8.1.06 5.45.1311
Uneingeschränkter Zugang

Introduction to Stopping Time in Stochastic Finance Theory. Part II

Online veröffentlicht: 28 Mar 2018
Seitenbereich: 261 - 268

Zusammenfassung

Schlüsselwörter

  • stopping time
  • stochastic process

MSC 2010

  • 60G40 03B35

MML

  • identifier: FINANCE5
  • version: 8.1.06 5.45.1311
Uneingeschränkter Zugang

Implicit Function Theorem. Part I

Online veröffentlicht: 28 Mar 2018
Seitenbereich: 269 - 281

Zusammenfassung

Schlüsselwörter

  • 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
Uneingeschränkter Zugang

Introduction to Diophantine Approximation. Part II

Online veröffentlicht: 28 Mar 2018
Seitenbereich: 283 - 288

Zusammenfassung

Schlüsselwörter

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

MSC 2010

  • 11J20 11J25 03B35

MML

  • identifier: DIOPHAN2
  • version: 8.1.06 5.45.1311
Uneingeschränkter Zugang

Tarski Geometry Axioms. Part III

Online veröffentlicht: 28 Mar 2018
Seitenbereich: 289 - 313

Zusammenfassung

Schlüsselwörter

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

MSC 2010

  • 51A05 51M04 03B35

MML

  • identifier: GTARSKI3
  • version: 8.1.06 5.45.1311
Uneingeschränkter Zugang

The Matiyasevich Theorem. Preliminaries

Online veröffentlicht: 28 Mar 2018
Seitenbereich: 315 - 322

Zusammenfassung

Schlüsselwörter

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

MSC 2010

  • 11D45 03B35

MML

  • identifier: HILB10 1
  • version: 8.1.06 5.45.1311

Planen Sie Ihre Fernkonferenz mit Scienceendo