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 | 23 sept. 2017
Introduction to Stopping Time in Stochastic Finance Theory
Peter Jaeger
Peter Jaeger
Accès libre | 01 juin 2013
N-Dimensional Binary Vector Spaces
Kenichi Arai
Kenichi Arai
et
Hiroyuki Okazaki
Hiroyuki Okazaki
Accès libre | 01 juin 2013
Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane
Adam St. Arnaud
Adam St. Arnaud
et
Piotr Rudnicki
Piotr Rudnicki
Accès libre | 05 janv. 2011
Affine Independence in Vector Spaces
Karol Pąk
Karol Pąk
Accès libre | 20 juil. 2019
Invertible Operators on Banach Spaces
Kazuhisa Nakasho
Kazuhisa Nakasho
Accès libre | 02 févr. 2013
Isomorphisms of Direct Products of Finite Cyclic Groups
Kenichi Arai
Kenichi Arai
,
Hiroyuki Okazaki
Hiroyuki Okazaki
et
Yasunari Shidama
Yasunari Shidama
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