Iniciar sesión
Registrarse
Restablecer contraseña
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Temas
Arquitectura y diseño
Artes
Ciencias Sociales
Ciencias de la Información y Bibliotecas, Estudios del Libro
Ciencias de la vida
Ciencias de los materiales
Deporte y tiempo libre
Estudios clásicos y del Cercano Oriente antiguo
Estudios culturales
Estudios judíos
Farmacia
Filosofía
Física
Geociencias
Historia
Informática
Ingeniería
Interés general
Ley
Lingüística y semiótica
Literatura
Matemáticas
Medicina
Música
Negocios y Economía
Química
Química industrial
Teología y religión
Publicaciones
Revistas
Libros
Actas
Editoriales
Blog
Contacto
Buscar
EUR
USD
GBP
Español
English
Deutsch
Polski
Español
Français
Italiano
Carrito
Home
Revistas
Formalized Mathematics
Formalized Mathematics
(a computer assisted approach)
Acceso abierto
Métricas
Artículos
Destacados
Artículos
Recientes
Más
Citados
Más
Descargados
Volúmenes
& Ediciones
Artículos Destacados
Artículos Recientes
Más Citados
Más Descargados
Volúmenes & Ediciones
Acceso abierto | 31 dic 2023
Elementary Number Theory Problems. Part X – Diophantine Equations
Artur Korniłowicz
Artur Korniłowicz
Acceso abierto | 31 dic 2023
Conway Numbers – Formal Introduction
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
Multidimensional Measure Space and Integration
Noboru Endou
Noboru Endou
y
Yasunari Shidama
Yasunari Shidama
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
Información de la revista
Compartir
Descargar portada
Para los autores
Para los autores
Objetivo y alcance
Consejo de redacción
Indexación
Métricas
Journal RSS
0.3
Impact Factor
0.2
Five Year Impact Factor
0.36
JCI
20
MNiSW
6
Google Scholar h5-index
7
Google Scholar h5-median