Publications
Ce qui se publie, et dans quel ordre
La division publie d’abord ce qui se vérifie sans nous croire sur parole : des propriétés, des mesures datées et des sorties non retouchées. Les énoncés formels et leurs preuves suivront par les canaux de publication scientifique – cette page les recensera à mesure de leur parution, et elle ne gonfle pas.
Parutions
Notes déposées
- Note 2026-01 – Un vérificateur qui sait échouer – note de recherche, en français et en anglais, déposée sur Zenodo sous licence CC BY 4.0. DOI : 10.5281/zenodo.22159029.
En préparation
Deux parutions annoncées, rien d’autre
- La démarche qui prépare les résultats formels – Les résultats formels sont en préparation ; ils seront publiés avec leur matériel de vérification. La démarche qui les entoure se lit dès aujourd’hui sur la page Validation.
- Corpus public de démonstration – En préparation, sous licence CC BY 4.0. Des sorties non retouchées du système se lisent dès aujourd’hui sur la page Démonstrations.
Ce que le site publie déjà – propriétés, mesures du , démonstrations – vaut engagement : chaque chiffre est daté, sourcé et régénérable, et les publications à venir se jugeront à la même règle.
Citer
Citer ce site
Les mesures de ce site sont datées et régénérables : une citation porte donc la date de mesure, jamais une date de consultation seule.
ODERSA Research (division de recherche de l’ODERSA). « Résultats et mesures », mesures du . https://research.odersa.org/resultats
Au format BibTeX :
@misc{odersa_research_mesures_2026,
author = {{ODERSA Research}},
title = {R\'esultats et mesures},
organization = {ODERSA},
year = {2026},
howpublished = {\url{https://research.odersa.org/resultats}},
note = {Mesures du 28 ao\^ut 2026, r\'eg\'en\'erables}
}Le flux des parutions est servi à l’adresse feed.xml ; les données ouvertes du site, à l’adresse data/impact.json. Contact : research@odersa.org.