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 | 31 déc. 2023
Elementary Number Theory Problems. Part X – Diophantine Equations
Artur Korniłowicz
Artur Korniłowicz
Accès libre | 31 déc. 2023
Conway Numbers – Formal Introduction
Karol Pąk
Karol Pąk
Accès libre | 31 déc. 2023
The Ring of Conway Numbers in Mizar
Karol Pąk
Karol Pąk
Accès libre | 31 déc. 2023
Elementary Number Theory Problems. Part XI
Adam Naumowicz
Adam Naumowicz
Accès libre | 31 déc. 2023
Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers
Karol Pąk
Karol Pąk
Accès libre | 31 déc. 2023
Multidimensional Measure Space and Integration
Noboru Endou
Noboru Endou
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
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