Inscription à :
Publier les commentaires (Atom)
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...
-
7/8/2025 : Peut-être... https://denisevellachemla.eu/carres-et-points-fixes.pdf (en) https://denisevellachemla.eu/squares-and-fixed-point...
-
Petite vidéo de Tadashi Tokieda trouvé sur le site de David Eisenbud, merci ! lien À rapprocher de la transcription de l'article de ...

Aucun commentaire:
Enregistrer un commentaire