Iniciar sesión
Registrarse
Restablecer contraseña
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Temas
Publicaciones
Revistas
Libros
Actas
Editoriales
Blog
Contacto
Buscar
Carrito
EUR
USD
GBP
Español
English
Deutsch
Polski
Español
Français
Italiano
Home
Revistas
Formalized Mathematics
Volume 31 (2023): Issue 1 (September 2023)
Acceso abierto
Formalized Mathematics
Volume 31 (2023): Issue 1 (September 2023)
Compartir
Descargar portada
Descargar
Edición anterior
Próxima edición
27 Artículos
Ordenar por
Acceso abierto | 26 sept 2023
On Bag of 1. Part I
Yasushige Watase
Yasushige Watase
Acceso abierto | 26 sept 2023
Differentiation on Interval
Noboru Endou
Noboru Endou
Acceso abierto | 26 sept 2023
Elementary Number Theory Problems. Part VII
Artur Korniłowicz
Artur Korniłowicz
Acceso abierto | 26 sept 2023
Introduction to Graph Enumerations
Sebastian Koch
Sebastian Koch
Acceso abierto | 26 sept 2023
On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors
Hiroyuki Okazaki
Hiroyuki Okazaki
Acceso abierto | 26 sept 2023
Isosceles Triangular and Isosceles Trapezoidal Membership Functions Using Centroid Method
Takashi Mitsuishi
Takashi Mitsuishi
Acceso abierto | 04 oct 2023
Introduction to Algebraic Geometry
Yasushige Watase
Yasushige Watase
Acceso abierto | 04 oct 2023
About Regular Graphs
Sebastian Koch
Sebastian Koch
Acceso abierto | 26 oct 2023
Elementary Number Theory Problems. Part VIII
Artur Korniłowicz
Artur Korniłowicz
Acceso abierto | 26 oct 2023
Internal Direct Products and the Universal Property of Direct Product Groups
Alexander M. Nelson
Alexander M. Nelson
Acceso abierto | 01 nov 2023
Normal Extensions
Christoph Schwarzweller
Christoph Schwarzweller
Acceso abierto | 01 nov 2023
Antiderivatives and Integration
Noboru Endou
Noboru Endou
Acceso abierto | 23 dic 2023
Embedding Principle for Rings and Abelian Groups
Yasushige Watase
Yasushige Watase
Acceso abierto | 26 dic 2023
On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
Adam Grabowski
Adam Grabowski
Acceso abierto | 26 dic 2023
Elementary Number Theory Problems. Part IX
Artur Korniłowicz
Artur Korniłowicz
Acceso abierto | 31 dic 2023
Elementary Number Theory Problems. Part X – Diophantine Equations
Artur Korniłowicz
Artur Korniłowicz
Acceso abierto | 31 dic 2023
Multidimensional Measure Space and Integration
Noboru Endou
Noboru Endou
y
Yasunari Shidama
Yasunari Shidama
Acceso abierto | 31 dic 2023
Conway Numbers – Formal Introduction
Karol Pąk
Karol Pąk
Acceso abierto | 31 dic 2023
Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers
Karol Pąk
Karol Pąk
Acceso abierto | 31 dic 2023
The Ring of Conway Numbers in Mizar
Karol Pąk
Karol Pąk
Acceso abierto | 31 dic 2023
Elementary Number Theory Problems. Part XI
Adam Naumowicz
Adam Naumowicz
Acceso abierto | 31 dic 2023
Elementary Number Theory Problems. Part XII – Primes in Arithmetic Progression
Adam Grabowski
Adam Grabowski
Acceso abierto | 31 dic 2023
Simple Extensions
Christoph Schwarzweller
Christoph Schwarzweller
y
Agnieszka Rowińska-Schwarzweller
Agnieszka Rowińska-Schwarzweller
Acceso abierto | 31 dic 2023
Symmetrical Piecewise Linear Functions Composed by Absolute Value Function
Takashi Mitsuishi
Takashi Mitsuishi
Acceso abierto | 31 dic 2023
Integral of Continuous Functions of Two Variables
Noboru Endou
Noboru Endou
y
Yasunari Shidama
Yasunari Shidama
Acceso abierto | 31 dic 2023
Tarski Geometry Axioms. Part V – Half-planes and Planes
Roland Coghetto
Roland Coghetto
y
Adam Grabowski
Adam Grabowski
Acceso abierto | 31 dic 2023
Extensions of Orderings
Christoph Schwarzweller
Christoph Schwarzweller
Buscar
Revista
Volumen
Edición
Todos los volúmenes y ediciones en esta revista
AHEAD OF PRINT
Volumen 31 (2023)
Edición 1 (Septiembre 2023)
Volumen 30 (2022)
Edición 4 (Diciembre 2022)
Edición 3 (Octubre 2022)
Edición 2 (Julio 2022)
Edición 1 (Abril 2022)
Volumen 29 (2021)
Edición 4 (Diciembre 2021)
Edición 3 (Octubre 2021)
Edición 2 (Julio 2021)
Edición 1 (Abril 2021)
Volumen 28 (2020)
Edición 4 (Diciembre 2020)
Edición 3 (Octubre 2020)
Edición 2 (Julio 2020)
Edición 1 (Abril 2020)
Volumen 27 (2019)
Edición 4 (Diciembre 2019)
Edición 3 (Octubre 2019)
Edición 2 (Julio 2019)
Edición 1 (Abril 2019)
Volumen 26 (2018)
Edición 4 (Diciembre 2018)
Edición 3 (Octubre 2018)
Edición 2 (Julio 2018)
Edición 1 (Abril 2018)
Volumen 25 (2017)
Edición 4 (Diciembre 2017)
Edición 3 (Octubre 2017)
Edición 2 (Julio 2017)
Edición 1 (Marzo 2017)
Volumen 24 (2016)
Edición 4 (Diciembre 2016)
Edición 3 (Septiembre 2016)
Edición 2 (Junio 2016)
Edición 1 (Marzo 2016)
Volumen 23 (2015)
Edición 4 (Diciembre 2015)
Edición 3 (Septiembre 2015)
Edición 2 (Junio 2015)
Edición 1 (Marzo 2015)
Volumen 22 (2014)
Edición 4 (Diciembre 2014)
Edición 3 (Septiembre 2014)
Edición 2 (Junio 2014)
Special Issue: 25 years of the Mizar Mathematical Library
Edición 1 (Marzo 2014)
Volumen 21 (2013)
Edición 4 (Diciembre 2013)
Edición 3 (Octubre 2013)
Edición 2 (Junio 2013)
Edición 1 (Enero 2013)
Volumen 20 (2012)
Edición 4 (Diciembre 2012)
Edición 3 (Septiembre 2012)
Edición 2 (Diciembre 2012)
Edición 1 (Enero 2012)
Volumen 19 (2011)
Edición 4 (Diciembre 2011)
Edición 3 (Septiembre 2011)
Edición 2 (Junio 2011)
Edición 1 (Marzo 2011)
Volumen 18 (2010)
Edición 4 (Enero 2010)
Edición 3 (Septiembre 2010)
Edición 2 (Junio 2010)
Edición 1 (Marzo 2010)
Volumen 17 (2009)
Edición 4 (Enero 2009)
Edición 3 (Septiembre 2009)
Edición 2 (Junio 2009)
Edición 1 (Marzo 2009)
Volumen 16 (2008)
Edición 4 (Diciembre 2008)
Edición 3 (Enero 2008)
Edición 2 (Junio 2008)
Edición 1 (Marzo 2008)
Volumen 15 (2007)
Edición 4 (Diciembre 2007)
Edición 3 (Septiembre 2007)
Edición 2 (Enero 2007)
Edición 1 (Enero 2007)
Volumen 14 (2006)
Edición 4 (Diciembre 2006)
Edición 3 (Septiembre 2006)
Edición 2 (Junio 2006)
Edición 1 (Marzo 2006)