https://reseau-mirabel.info/feeds.php?revue=25124 Mir@bel — Revue Annals of Formalized Mathematics 2026-05-17T22:41:36+00:00 Mir@bel eZ Components Feed Suivi des mises à jour de Mir@bel, avec les 50 dernières modifications. https://reseau-mirabel.info/intervention/744312 Modification du titre « Annals of Formalized Mathematics » 2026-03-19T02:35:56+00:00 <ul> <li><b>Autres liens</b> : <ul> <li><b>+</b> OpenAlex : <a href="https://explore.openalex.org/sources/S7407055943">https://explore.openalex.org/sources/S7407055943</a></li> </ul></li> </ul> 2026-03-19T02:35:56+00:00 https://reseau-mirabel.info/intervention/742857 Modification du titre « Annals of Formalized Mathematics » 2026-03-12T05:06:25+00:00 <ul> <li><b>Autres liens</b> : <ul> <li><b>+</b> Open policy finder : <a href="https://openpolicyfinder.jisc.ac.uk/id/publication/47482">https://openpolicyfinder.jisc.ac.uk/id/publication/47482</a></li> </ul></li> </ul> 2026-03-12T05:06:25+00:00 https://reseau-mirabel.info/intervention/742034 Modification du titre « Annals of Formalized Mathematics » 2026-03-10T08:49:00+00:00 <ul> <li><b>Autres liens</b> : <ul> <li><b>-</b> ZbMaths : <a href="https://zbmath.org/serials/10725">https://zbmath.org/serials/10725</a></li> <li><b>+</b> ZbMath : <a href="https://zbmath.org/serials/10725">https://zbmath.org/serials/10725</a></li> </ul></li> </ul> 2026-03-10T08:49:00+00:00 https://reseau-mirabel.info/intervention/742032 Modification du titre « Annals of Formalized Mathematics » 2026-03-10T08:48:07+00:00 <ul> <li><b>Autres liens</b> : <ul> <li><b>+</b> ZbMaths : <a href="https://zbmath.org/serials/10725">https://zbmath.org/serials/10725</a></li> </ul></li> </ul> 2026-03-10T08:48:07+00:00 https://reseau-mirabel.info/intervention/725960 Modification du titre « Annals of Formalized Mathematics » 2026-01-19T08:39:28+00:00 <ul> <li><b>Vignette de couverture</b> : &quot;&quot; &#8594; &quot;https://afm.episciences.org/public/Full_Color_trimmed_1.png&quot;.</li> </ul> 2026-01-19T08:39:28+00:00 https://reseau-mirabel.info/intervention/719230 Modification du titre « Annals of Formalized Mathematics » 2025-12-19T05:01:16+00:00 <ul> <li><b>Autres liens</b> : <ul> <li><b>+</b> DDH : <a href="https://ddh.diamas.org/en/journals/23192">https://ddh.diamas.org/en/journals/23192</a></li> </ul></li> </ul> 2025-12-19T05:01:16+00:00 https://reseau-mirabel.info/intervention/708072 Modification du titre « Annals of Formalized Mathematics » 2025-10-26T01:40:30+00:00 <ul> <li><b>Sudoc PPN</b> : &quot;&quot; &#8594; &quot;291287700&quot;.</li> </ul> 2025-10-26T01:40:30+00:00 https://reseau-mirabel.info/intervention/703730 Thématique de la revue « Annals of Formalized Mathematics — AFM » 2025-10-10T09:58:30+00:00 <ul> <li>Ajout du thème <em>Mathématiques</em>.</li> </ul> 2025-10-10T09:58:30+00:00 https://reseau-mirabel.info/intervention/704425 Mise à jour des données ISSN via le portail issn.org 2025-10-05T22:11:03+00:00 <ul> <li>Données ISSN complétées</li> </ul> 2025-10-05T22:11:03+00:00 https://reseau-mirabel.info/intervention/704354 Modification du titre « Annals of Formalized Mathematics » 2025-10-05T00:48:51+00:00 <ul> <li><b>ISSN-L</b> : &quot;&quot; &#8594; &quot;3117-4604&quot;.</li> </ul> 2025-10-05T00:48:51+00:00 https://reseau-mirabel.info/intervention/703652 Création d'un accès en ligne revue « Annals of Formalized Mathematics » / « Episciences » 2025-09-30T10:09:58+00:00 2025-09-30T10:09:58+00:00 https://reseau-mirabel.info/intervention/703649 Création de la revue « Annals of Formalized Mathematics » 2025-09-30T10:06:15+00:00 <ul> <li>Attache l'éditeur « Mathematics in Open Access »</li> </ul> 2025-09-30T10:06:15+00:00