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 | 08 dic 2016
Chebyshev Distance
Roland Coghetto
Roland Coghetto
Accesso libero | 28 lug 2018
Kleene Algebra of Partial Predicates
Artur Korniłowicz
Artur Korniłowicz
,
Ievgen Ivanov
Ievgen Ivanov
e
Mykola Nikitchenko
Mykola Nikitchenko
Accesso libero | 09 giu 2008
Partial Differentiation on Normed Linear Spaces
R
n
Noboru Endou
Noboru Endou
,
Yasunari Shidama
Yasunari Shidama
e
Keiichi Miyajima
Keiichi Miyajima
Accesso libero | 19 dic 2017
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
Ievgen Ivanov
Ievgen Ivanov
,
Mykola Nikitchenko
Mykola Nikitchenko
,
Andrii Kryvolap
Andrii Kryvolap
e
Artur Korniłowicz
Artur Korniłowicz
Accesso libero | 09 giu 2008
Arrow's Impossibility Theorem
Freek Wiedijk
Freek Wiedijk
Accesso libero | 09 giu 2008
Several Differentiation Formulas of Special Functions. Part V
Peng Wang
Peng Wang
e
Bo Li
Bo Li
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