Mir@bel — Revue Annals of Formalized Mathematics

Modification du titre « Annals of Formalized Mathematics »

Thu, 19 Mar 2026 02:35:56 +0000

Autres liens :
- + OpenAlex : https://explore.openalex.org/sources/S7407055943

Modification du titre « Annals of Formalized Mathematics »

Thu, 12 Mar 2026 05:06:25 +0000

Autres liens :
- + Open policy finder : https://openpolicyfinder.jisc.ac.uk/id/publication/47482

Modification du titre « Annals of Formalized Mathematics »

Tue, 10 Mar 2026 08:49:00 +0000

Autres liens :
- - ZbMaths : https://zbmath.org/serials/10725
- + ZbMath : https://zbmath.org/serials/10725

Modification du titre « Annals of Formalized Mathematics »

Tue, 10 Mar 2026 08:48:07 +0000

Autres liens :
- + ZbMaths : https://zbmath.org/serials/10725

Modification du titre « Annals of Formalized Mathematics »

Mon, 19 Jan 2026 08:39:28 +0000

Vignette de couverture : "" → "https://afm.episciences.org/public/Full_Color_trimmed_1.png".

Modification du titre « Annals of Formalized Mathematics »

Fri, 19 Dec 2025 05:01:16 +0000

Autres liens :
- + DDH : https://ddh.diamas.org/en/journals/23192

Modification du titre « Annals of Formalized Mathematics »

Sun, 26 Oct 2025 01:40:30 +0000

Sudoc PPN : "" → "291287700".

Thématique de la revue « Annals of Formalized Mathematics — AFM »

Fri, 10 Oct 2025 09:58:30 +0000

Ajout du thème Mathématiques.

Mise à jour des données ISSN via le portail issn.org

Sun, 05 Oct 2025 22:11:03 +0000

Données ISSN complétées

Modification du titre « Annals of Formalized Mathematics »

Sun, 05 Oct 2025 00:48:51 +0000

ISSN-L : "" → "3117-4604".

Création d'un accès en ligne revue « Annals of Formalized Mathematics » / « Episciences »

Tue, 30 Sep 2025 10:09:58 +0000

Création de la revue « Annals of Formalized Mathematics »

Tue, 30 Sep 2025 10:06:15 +0000

Attache l'éditeur « Mathematics in Open Access »