Magazine et Edition

Volume 29 (2021): Edition 4 (December 2021)

Volume 29 (2021): Edition 3 (October 2021)

Volume 29 (2021): Edition 2 (July 2021)

Volume 29 (2021): Edition 1 (April 2021)

Volume 28 (2020): Edition 4 (December 2020)

Volume 28 (2020): Edition 3 (October 2020)

Volume 28 (2020): Edition 2 (July 2020)

Volume 28 (2020): Edition 1 (April 2020)

Volume 27 (2019): Edition 4 (December 2019)

Volume 27 (2019): Edition 3 (October 2019)

Volume 27 (2019): Edition 2 (July 2019)

Volume 27 (2019): Edition 1 (April 2019)

Volume 26 (2018): Edition 4 (December 2018)

Volume 26 (2018): Edition 3 (October 2018)

Volume 26 (2018): Edition 2 (July 2018)

Volume 26 (2018): Edition 1 (April 2018)

Volume 25 (2017): Edition 4 (December 2017)

Volume 25 (2017): Edition 3 (October 2017)

Volume 25 (2017): Edition 2 (July 2017)

Volume 25 (2017): Edition 1 (March 2017)

Volume 24 (2016): Edition 4 (December 2016)

Volume 24 (2016): Edition 3 (September 2016)

Volume 24 (2016): Edition 2 (June 2016)

Volume 24 (2016): Edition 1 (March 2016)

Volume 23 (2015): Edition 4 (December 2015)

Volume 23 (2015): Edition 3 (September 2015)

Volume 23 (2015): Edition 2 (June 2015)

Volume 23 (2015): Edition 1 (March 2015)

Volume 22 (2014): Edition 4 (December 2014)

Volume 22 (2014): Edition 3 (September 2014)

Volume 22 (2014): Edition 2 (June 2014)
Special Edition: 25 years of the Mizar Mathematical Library

Volume 22 (2014): Edition 1 (March 2014)

Volume 21 (2013): Edition 4 (December 2013)

Volume 21 (2013): Edition 3 (October 2013)

Volume 21 (2013): Edition 2 (June 2013)

Volume 21 (2013): Edition 1 (January 2013)

Volume 20 (2012): Edition 4 (December 2012)

Volume 20 (2012): Edition 3 (September 2012)

Volume 20 (2012): Edition 2 (June 2012)

Volume 20 (2012): Edition 1 (January 2012)

Volume 19 (2011): Edition 4 (December 2011)

Volume 19 (2011): Edition 3 (September 2011)

Volume 19 (2011): Edition 2 (June 2011)

Volume 19 (2011): Edition 1 (March 2011)

Volume 18 (2010): Edition 4 (December 2010)

Volume 18 (2010): Edition 3 (September 2010)

Volume 18 (2010): Edition 2 (June 2010)

Volume 18 (2010): Edition 1 (March 2010)

Volume 17 (2009): Edition 4 (December 2009)

Volume 17 (2009): Edition 3 (September 2009)

Volume 17 (2009): Edition 2 (June 2009)

Volume 17 (2009): Edition 1 (March 2009)

Volume 16 (2008): Edition 4 (December 2008)

Volume 16 (2008): Edition 3 (September 2008)

Volume 16 (2008): Edition 2 (June 2008)

Volume 16 (2008): Edition 1 (March 2008)

Volume 15 (2007): Edition 4 (December 2007)

Volume 15 (2007): Edition 3 (September 2007)

Volume 15 (2007): Edition 2 (June 2007)

Volume 15 (2007): Edition 1 (March 2007)

Volume 14 (2006): Edition 4 (December 2006)

Volume 14 (2006): Edition 3 (September 2006)

Volume 14 (2006): Edition 2 (June 2006)

Volume 14 (2006): Edition 1 (March 2006)

Détails du magazine
Format
Magazine
eISSN
1898-9934
Première publication
09 Jun 2008
Période de publication
4 fois par an
Langues
Anglais

Chercher

Volume 24 (2016): Edition 1 (March 2016)

Détails du magazine
Format
Magazine
eISSN
1898-9934
Première publication
09 Jun 2008
Période de publication
4 fois par an
Langues
Anglais

Chercher

7 Articles
Accès libre

Modelling Real World Using Stochastic Processes and Filtration

Publié en ligne: 31 Aug 2016
Pages: 1 - 16

Résumé

Mots clés

  • stochastic process
  • random variable

MSC

  • 60G05
  • 03B35

MML

  • identifier: FINANCE3
  • version: 8.1.04 5.36.1267
Accès libre

Circumcenter, Circumcircle and Centroid of a Triangle

Publié en ligne: 31 Aug 2016
Pages: 17 - 26

Résumé

Mots clés

  • Euclidean geometry
  • perpendicular bisector
  • circumcenter
  • circumcircle
  • centroid
  • extended law of sines

MSC

  • 51M04
  • 03B35

MML

  • identifier: EUCLID12
  • version: 8.1.04 5.36.1267
Accès libre

Altitude, Orthocenter of a Triangle and Triangulation

Publié en ligne: 31 Aug 2016
Pages: 27 - 36

Résumé

Mots clés

  • Euclidean geometry
  • trigonometry
  • altitude
  • orthocenter
  • triangulation
  • distance

MSC

  • 51M04
  • 03B35

MML

  • identifier: EUCLID13
  • version: 8.1.04 5.36.1267
Accès libre

Divisible ℤ-modules

Publié en ligne: 31 Aug 2016
Pages: 37 - 47

Résumé

Mots clés

  • divisible vector
  • divisible ℤ-module

MSC

  • 15A03
  • 16D20
  • 13C13
  • 03B35

MML

  • identifier: ZMODUL08
  • version: 8.1.04 5.36.1267
Accès libre

Lattice of ℤ-module

Publié en ligne: 31 Aug 2016
Pages: 49 - 68

Résumé

Mots clés

  • ℤ-lattice
  • Gram matrix
  • integral ℤ-lattice
  • positive definite ℤ-lattice

MSC

  • 15A03
  • 15A63
  • 11E39
  • 03B35

MML

  • identifier: ZMODLAT1
  • version: 8.1.04 5.36.1267
Accès libre

Product Pre-Measure

Publié en ligne: 31 Aug 2016
Pages: 69 - 79

Résumé

Mots clés

  • product measure
  • pre-measure

MSC

  • 28A35
  • 03B35

MML

  • identifier: MEASUR10
  • version: 8.1.04 5.36.1267
Accès libre

Conservation Rules of Direct Sum Decomposition of Groups

Publié en ligne: 31 Aug 2016
Pages: 81 - 94

Résumé

Mots clés

  • group theory
  • direct sum decomposition

MSC

  • 20E34
  • 03B35

MML

  • identifier: GROUP 21
  • version: 8.1.04 5.36.1267
7 Articles
Accès libre

Modelling Real World Using Stochastic Processes and Filtration

Publié en ligne: 31 Aug 2016
Pages: 1 - 16

Résumé

Mots clés

  • stochastic process
  • random variable

MSC

  • 60G05
  • 03B35

MML

  • identifier: FINANCE3
  • version: 8.1.04 5.36.1267
Accès libre

Circumcenter, Circumcircle and Centroid of a Triangle

Publié en ligne: 31 Aug 2016
Pages: 17 - 26

Résumé

Mots clés

  • Euclidean geometry
  • perpendicular bisector
  • circumcenter
  • circumcircle
  • centroid
  • extended law of sines

MSC

  • 51M04
  • 03B35

MML

  • identifier: EUCLID12
  • version: 8.1.04 5.36.1267
Accès libre

Altitude, Orthocenter of a Triangle and Triangulation

Publié en ligne: 31 Aug 2016
Pages: 27 - 36

Résumé

Mots clés

  • Euclidean geometry
  • trigonometry
  • altitude
  • orthocenter
  • triangulation
  • distance

MSC

  • 51M04
  • 03B35

MML

  • identifier: EUCLID13
  • version: 8.1.04 5.36.1267
Accès libre

Divisible ℤ-modules

Publié en ligne: 31 Aug 2016
Pages: 37 - 47

Résumé

Mots clés

  • divisible vector
  • divisible ℤ-module

MSC

  • 15A03
  • 16D20
  • 13C13
  • 03B35

MML

  • identifier: ZMODUL08
  • version: 8.1.04 5.36.1267
Accès libre

Lattice of ℤ-module

Publié en ligne: 31 Aug 2016
Pages: 49 - 68

Résumé

Mots clés

  • ℤ-lattice
  • Gram matrix
  • integral ℤ-lattice
  • positive definite ℤ-lattice

MSC

  • 15A03
  • 15A63
  • 11E39
  • 03B35

MML

  • identifier: ZMODLAT1
  • version: 8.1.04 5.36.1267
Accès libre

Product Pre-Measure

Publié en ligne: 31 Aug 2016
Pages: 69 - 79

Résumé

Mots clés

  • product measure
  • pre-measure

MSC

  • 28A35
  • 03B35

MML

  • identifier: MEASUR10
  • version: 8.1.04 5.36.1267
Accès libre

Conservation Rules of Direct Sum Decomposition of Groups

Publié en ligne: 31 Aug 2016
Pages: 81 - 94

Résumé

Mots clés

  • group theory
  • direct sum decomposition

MSC

  • 20E34
  • 03B35

MML

  • identifier: GROUP 21
  • version: 8.1.04 5.36.1267

Planifiez votre conférence à distance avec Sciendo