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 | 01 jun 2013
N-Dimensional Binary Vector Spaces
Kenichi Arai
Kenichi Arai
y
Hiroyuki Okazaki
Hiroyuki Okazaki
Acceso abierto | 23 sept 2017
Introduction to Stopping Time in Stochastic Finance Theory
Peter Jaeger
Peter Jaeger
Acceso abierto | 01 jun 2013
Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane
Adam St. Arnaud
Adam St. Arnaud
y
Piotr Rudnicki
Piotr Rudnicki
Acceso abierto | 05 ene 2011
Affine Independence in Vector Spaces
Karol Pąk
Karol Pąk
Acceso abierto | 01 oct 2013
Prime Filters and Ideals in Distributive Lattices
Adam Grabowski
Adam Grabowski
Acceso abierto | 08 jul 2010
Basic Properties of Periodic Functions
Bo Li
Bo Li
,
Dailu Li
Dailu Li
,
Yanhong Men
Yanhong Men
y
Xiquan Liang
Xiquan Liang
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