Revista y Edición

Volumen 29 (2021): Edición 4 (December 2021)

Volumen 29 (2021): Edición 3 (October 2021)

Volumen 29 (2021): Edición 2 (July 2021)

Volumen 29 (2021): Edición 1 (April 2021)

Volumen 28 (2020): Edición 4 (December 2020)

Volumen 28 (2020): Edición 3 (October 2020)

Volumen 28 (2020): Edición 2 (July 2020)

Volumen 28 (2020): Edición 1 (April 2020)

Volumen 27 (2019): Edición 4 (December 2019)

Volumen 27 (2019): Edición 3 (October 2019)

Volumen 27 (2019): Edición 2 (July 2019)

Volumen 27 (2019): Edición 1 (April 2019)

Volumen 26 (2018): Edición 4 (December 2018)

Volumen 26 (2018): Edición 3 (October 2018)

Volumen 26 (2018): Edición 2 (July 2018)

Volumen 26 (2018): Edición 1 (April 2018)

Volumen 25 (2017): Edición 4 (December 2017)

Volumen 25 (2017): Edición 3 (October 2017)

Volumen 25 (2017): Edición 2 (July 2017)

Volumen 25 (2017): Edición 1 (March 2017)

Volumen 24 (2016): Edición 4 (December 2016)

Volumen 24 (2016): Edición 3 (September 2016)

Volumen 24 (2016): Edición 2 (June 2016)

Volumen 24 (2016): Edición 1 (March 2016)

Volumen 23 (2015): Edición 4 (December 2015)

Volumen 23 (2015): Edición 3 (September 2015)

Volumen 23 (2015): Edición 2 (June 2015)

Volumen 23 (2015): Edición 1 (March 2015)

Volumen 22 (2014): Edición 4 (December 2014)

Volumen 22 (2014): Edición 3 (September 2014)

Volumen 22 (2014): Edición 2 (June 2014)
Special Edición: 25 years of the Mizar Mathematical Library

Volumen 22 (2014): Edición 1 (March 2014)

Volumen 21 (2013): Edición 4 (December 2013)

Volumen 21 (2013): Edición 3 (October 2013)

Volumen 21 (2013): Edición 2 (June 2013)

Volumen 21 (2013): Edición 1 (January 2013)

Volumen 20 (2012): Edición 4 (December 2012)

Volumen 20 (2012): Edición 3 (September 2012)

Volumen 20 (2012): Edición 2 (June 2012)

Volumen 20 (2012): Edición 1 (January 2012)

Volumen 19 (2011): Edición 4 (December 2011)

Volumen 19 (2011): Edición 3 (September 2011)

Volumen 19 (2011): Edición 2 (June 2011)

Volumen 19 (2011): Edición 1 (March 2011)

Volumen 18 (2010): Edición 4 (December 2010)

Volumen 18 (2010): Edición 3 (September 2010)

Volumen 18 (2010): Edición 2 (June 2010)

Volumen 18 (2010): Edición 1 (March 2010)

Volumen 17 (2009): Edición 4 (December 2009)

Volumen 17 (2009): Edición 3 (September 2009)

Volumen 17 (2009): Edición 2 (June 2009)

Volumen 17 (2009): Edición 1 (March 2009)

Volumen 16 (2008): Edición 4 (December 2008)

Volumen 16 (2008): Edición 3 (September 2008)

Volumen 16 (2008): Edición 2 (June 2008)

Volumen 16 (2008): Edición 1 (March 2008)

Volumen 15 (2007): Edición 4 (December 2007)

Volumen 15 (2007): Edición 3 (September 2007)

Volumen 15 (2007): Edición 2 (June 2007)

Volumen 15 (2007): Edición 1 (March 2007)

Volumen 14 (2006): Edición 4 (December 2006)

Volumen 14 (2006): Edición 3 (September 2006)

Volumen 14 (2006): Edición 2 (June 2006)

Volumen 14 (2006): Edición 1 (March 2006)

Detalles de la revista
Formato
Revista
eISSN
1898-9934
ISSN
1426-2630
Publicado por primera vez
09 Jun 2008
Periodo de publicación
4 veces al año
Idiomas
Inglés

Buscar

Volumen 25 (2017): Edición 3 (October 2017)

Detalles de la revista
Formato
Revista
eISSN
1898-9934
ISSN
1426-2630
Publicado por primera vez
09 Jun 2008
Periodo de publicación
4 veces al año
Idiomas
Inglés

Buscar

8 Artículos
Acceso abierto

Isomorphism Theorem on Vector Spaces over a Ring

Publicado en línea: 19 Dec 2017
Páginas: 171 - 178

Resumen

Palabras clave

  • isomorphism theorem
  • vector space

MSC 2010

  • 15A03
  • 15A04
  • 03B35
Acceso abierto

F. Riesz Theorem

Publicado en línea: 19 Dec 2017
Páginas: 179 - 184

Resumen

Palabras clave

  • F. Riesz theorem
  • dual spaces
  • continuous functions

MSC 2010

  • 46E15
  • 46B10
  • 03B35
Acceso abierto

On Roots of Polynomials and Algebraically Closed Fields

Publicado en línea: 19 Dec 2017
Páginas: 185 - 195

Resumen

Palabras clave

  • commutative algebra
  • polynomials
  • algebraic closed fields

MSC 2010

  • 13A05
  • 13B25
  • 03B35
Acceso abierto

Pell’s Equation

Publicado en línea: 19 Dec 2017
Páginas: 197 - 204

Resumen

Palabras clave

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

MSC 2010

  • 11D45
  • 03B35
Acceso abierto

Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations

Publicado en línea: 19 Dec 2017
Páginas: 205 - 216

Resumen

Palabras clave

  • program semantics
  • software verification
  • nominative data

MSC 2010

  • 68Q60
  • 03B70
  • 03B35
Acceso abierto

Gauge Integral

Publicado en línea: 19 Dec 2017
Páginas: 217 - 225

Resumen

Palabras clave

  • Gauge integral
  • Henstock-Kurzweil integral
  • generalized Riemann integral

MSC 2010

  • 26A39
  • 26A42
  • 03B35
Acceso abierto

Integral of Non Positive Functions

Publicado en línea: 19 Dec 2017
Páginas: 227 - 240

Resumen

Palabras clave

  • integration of non positive function

MSC 2010

  • 28A25
  • 03B35
Acceso abierto

Formal Introduction to Fuzzy Implications

Publicado en línea: 19 Dec 2017
Páginas: 241 - 248

Resumen

Palabras clave

  • fuzzy implication
  • fuzzy set
  • fuzzy logic

MSC 2010

  • 03B52
  • 68T37
  • 03B35
8 Artículos
Acceso abierto

Isomorphism Theorem on Vector Spaces over a Ring

Publicado en línea: 19 Dec 2017
Páginas: 171 - 178

Resumen

Palabras clave

  • isomorphism theorem
  • vector space

MSC 2010

  • 15A03
  • 15A04
  • 03B35
Acceso abierto

F. Riesz Theorem

Publicado en línea: 19 Dec 2017
Páginas: 179 - 184

Resumen

Palabras clave

  • F. Riesz theorem
  • dual spaces
  • continuous functions

MSC 2010

  • 46E15
  • 46B10
  • 03B35
Acceso abierto

On Roots of Polynomials and Algebraically Closed Fields

Publicado en línea: 19 Dec 2017
Páginas: 185 - 195

Resumen

Palabras clave

  • commutative algebra
  • polynomials
  • algebraic closed fields

MSC 2010

  • 13A05
  • 13B25
  • 03B35
Acceso abierto

Pell’s Equation

Publicado en línea: 19 Dec 2017
Páginas: 197 - 204

Resumen

Palabras clave

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

MSC 2010

  • 11D45
  • 03B35
Acceso abierto

Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations

Publicado en línea: 19 Dec 2017
Páginas: 205 - 216

Resumen

Palabras clave

  • program semantics
  • software verification
  • nominative data

MSC 2010

  • 68Q60
  • 03B70
  • 03B35
Acceso abierto

Gauge Integral

Publicado en línea: 19 Dec 2017
Páginas: 217 - 225

Resumen

Palabras clave

  • Gauge integral
  • Henstock-Kurzweil integral
  • generalized Riemann integral

MSC 2010

  • 26A39
  • 26A42
  • 03B35
Acceso abierto

Integral of Non Positive Functions

Publicado en línea: 19 Dec 2017
Páginas: 227 - 240

Resumen

Palabras clave

  • integration of non positive function

MSC 2010

  • 28A25
  • 03B35
Acceso abierto

Formal Introduction to Fuzzy Implications

Publicado en línea: 19 Dec 2017
Páginas: 241 - 248

Resumen

Palabras clave

  • fuzzy implication
  • fuzzy set
  • fuzzy logic

MSC 2010

  • 03B52
  • 68T37
  • 03B35

Planifique su conferencia remota con Sciendo