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
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 | 20 jul 2019
Natural Addition of Ordinals
Sebastian Koch
Sebastian Koch
Acceso abierto | 20 jul 2019
Formalization of the MRDP Theorem in the Mizar System
Karol Pąk
Karol Pąk
Acceso abierto | 30 dic 2022
The Divergence of the Sum of Prime Reciprocals
Mario Carneiro
Mario Carneiro
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
Tarski Geometry Axioms. Part V – Half-planes and Planes
Roland Coghetto
Roland Coghetto
y
Adam Grabowski
Adam Grabowski
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