Connexion
S'inscrire
Réinitialiser le mot de passe
Publier & Distribuer
Solutions d'édition
Solutions de distribution
Thèmes
Architecture et design
Arts
Business et économie
Chimie
Chimie industrielle
Droit
Géosciences
Histoire
Informatique
Ingénierie
Intérêt général
Linguistique et sémiotique
Littérature
Mathématiques
Musique
Médecine
Pharmacie
Philosophie
Physique
Sciences bibliothécaires et de l'information, études du livre
Sciences des matériaux
Sciences du vivant
Sciences sociales
Sport et loisirs
Théologie et religion
Études classiques et du Proche-Orient ancient
Études culturelles
Études juives
Publications
Journaux
Livres
Comptes-rendus
Éditeurs
Blog
Contact
Chercher
EUR
USD
GBP
Français
English
Deutsch
Polski
Español
Français
Italiano
Panier
Home
Journaux
Formalized Mathematics
Formalized Mathematics
(a computer assisted approach)
Accès libre
Métriques
Articles
en Vedette
Articles les
Plus Récents
Plus
Cités
Les Plus
Téléchargés
Volumes
& Éditions
Articles en Vedette
Articles les Plus Récents
Plus Cités
Les Plus Téléchargés
Volumes & Éditions
Accès libre | 08 déc. 2016
Chebyshev Distance
Roland Coghetto
Roland Coghetto
Accès libre | 28 juil. 2018
Kleene Algebra of Partial Predicates
Artur Korniłowicz
Artur Korniłowicz
,
Ievgen Ivanov
Ievgen Ivanov
et
Mykola Nikitchenko
Mykola Nikitchenko
Accès libre | 09 juin 2008
Partial Differentiation on Normed Linear Spaces
R
n
Noboru Endou
Noboru Endou
,
Yasunari Shidama
Yasunari Shidama
et
Keiichi Miyajima
Keiichi Miyajima
Accès libre | 19 déc. 2017
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
Ievgen Ivanov
Ievgen Ivanov
,
Mykola Nikitchenko
Mykola Nikitchenko
,
Andrii Kryvolap
Andrii Kryvolap
et
Artur Korniłowicz
Artur Korniłowicz
Accès libre | 09 juin 2008
Arrow's Impossibility Theorem
Freek Wiedijk
Freek Wiedijk
Accès libre | 09 juin 2008
Several Differentiation Formulas of Special Functions. Part V
Peng Wang
Peng Wang
et
Bo Li
Bo Li
INFORMATIONS SUR LA REVUE
Partagez
Télécharger la couverture
Pour les auteurs
Pour les auteurs
Objectif et champ d'application
Comité de rédaction
Indexation
Métriques
Comment soumettre
1
Impact Factor
0.5
Five Year Impact Factor
0.57
JCI
20
MNiSW
6
Google Scholar h5-index
7
Google Scholar h5-median