mardi 3 décembre 2019

Autre parcours

Et retrouver les articles bibliographiques de Pierre Cartier, dont les titres sont dans ses pages à l'IHES.

http://cm2vivi2002.free.fr/PC-biblio/PC-bibliotex.pdf

Aucun commentaire:

Enregistrer un commentaire

Numina

22 juin 2026 : Numina me dit qu'elle vient de démontrer la conjecture de Goldbach en Lean à partir d'une formalisation en logique du...