Accueil🇫🇷Chercher

Journal of Formalized Reasoning

Le Journal of Formalized Reasoning (JFR) est une revue scientifique à évaluation par les pairs en libre accès créée en 2009.

Journal of Formalized Reasoning
Discipline Formalisation mathématique
Langue anglais
RĂ©dacteur en chef Andrea Asperti
Publication
Maison d’édition Université de Bologne (Italie)
PĂ©riode de publication 2008 - maintenant
Facteur d’impact 0,71 (2018)
Fréquence annuelle - sémestrielle
Libre accès oui
Indexation
ISSN 1972-5787
OCLC 456198191
Liens

La revue publie des articles sur les recherches en formalisation mathématique (en) dans tous les domaines, y compris les mathématiques classiques, le constructivisme, les algorithmes formels, et la vérification formelle de programmes. La revue est intéressée par les techniques et méthodologies de preuve et leur impact sur le processus de formalisation. En particulier, la revue offre un forum pour comparer des approches alternatives, et les études de réutilisabilité des solutions[1].

La revue est gérée par AlmaDL qui est la bibliothèque numérique de l'université de Bologne. Elle paraît en continu ; les articles sont regroupés en un volume annuel composé en général d'un seul numéro ; le volume peut comporter deux numéros, le deuxième constituant alors une numéro spécial.

Résumés et indexation

Le journal est indexé et ses articles sont résumés dans Scopus, MathSciNet, Zentralblatt MATH et DBLP.

Sur SCImago Journal Rank, le journal présente un facteur d'impact de 0,71 pour 2018[2]

Notes et références

Liens externes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.