Au départ j'ai fait cette fiche pour me rappeler en un coup d’œil le but de la recherche de chaque projet mathématique.
Elle est donc volontairement pauvre en données techniques mais explique les conjectures que chaque projet essaye de démontrer (de la manière la plus concise possible).
En relisant les fiches des projets sur le portail je n'ai pas vu d'erreurs particulières.
J'ai remarqué que :
Pour ABC j'ai un énoncé assez différent de la conjecture (sûrement équivalent). La fiche sur le portail utilise
wikipédia comme source et moi j'ai utilisé
le site du projet.
Pour Primegrid, j'ai rajouté des explications sur les problèmes de Sierpinski et Riesel (pour les applications Seventeen or Bust, PSP et The Riesel problem)
Pour Cruncher ogr (yoyo), je me suis tenté par une définition formelle de règle de Golomb (peut-être un peu trop
!).
Ensuite il y a deux projets qui n'ont pas de fiche. C'est Primaboinca et Harmonious Trees (yoyo).
En espérant que ça puisse aider
