Login
Registrati
Reimposta password
Pubblica & Distribuisci
Soluzioni Editoriali
Soluzioni di Distribuzione
Temi
Architettura e design
Arti
Business e Economia
Chimica
Chimica industriale
Farmacia
Filosofia
Fisica
Geoscienze
Ingegneria
Interesse generale
Legge
Letteratura
Linguistica e semiotica
Matematica
Medicina
Musica
Scienze bibliotecarie e dell'informazione, studi library
Scienze dei materiali
Scienze della vita
Scienze informatiche
Scienze sociali
Sport e tempo libero
Storia
Studi classici e del Vicino Oriente antico
Studi culturali
Studi ebraici
Teologia e religione
Pubblicazioni
Riviste
Libri
Atti
Editori
Blog
Contatti
Cerca
EUR
USD
GBP
Italiano
English
Deutsch
Polski
Español
Français
Italiano
Carrello
Home
Riviste
Formalized Mathematics
Formalized Mathematics
(a computer assisted approach)
Accesso libero
Metriche
Articoli
in Evidenza
Articoli
Più Recenti
Più
Citati
Più
Scaricati
Volumi
& Numeri
Articoli in Evidenza
Articoli Più Recenti
Più Citati
Più Scaricati
Volumi & Numeri
Accesso libero | 23 set 2017
Introduction to Stopping Time in Stochastic Finance Theory
Peter Jaeger
Peter Jaeger
Accesso libero | 01 giu 2013
N-Dimensional Binary Vector Spaces
Kenichi Arai
Kenichi Arai
e
Hiroyuki Okazaki
Hiroyuki Okazaki
Accesso libero | 01 giu 2013
Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane
Adam St. Arnaud
Adam St. Arnaud
e
Piotr Rudnicki
Piotr Rudnicki
Accesso libero | 05 gen 2011
Affine Independence in Vector Spaces
Karol Pąk
Karol Pąk
Accesso libero | 02 feb 2013
Isomorphisms of Direct Products of Finite Cyclic Groups
Kenichi Arai
Kenichi Arai
,
Hiroyuki Okazaki
Hiroyuki Okazaki
e
Yasunari Shidama
Yasunari Shidama
Accesso libero | 01 ott 2013
Prime Filters and Ideals in Distributive Lattices
Adam Grabowski
Adam Grabowski
Informazioni sulla rivista
CONDIVIDI
Scarica la copertina
Per gli autori
Per gli autori
Scopo e ambito di applicazione
Consiglio editoriale
Indicizzazione
Metriche
Come inviare
1
Impact Factor
0.5
Five Year Impact Factor
0.57
JCI
20
MNiSW
6
Google Scholar h5-index
7
Google Scholar h5-median