dimanche 18 juillet 2021

Alcôves mathématiques

Alcôves (dans Bérard, Pierre H. "Spectres et groupes cristallographiques I: Domaines euclidiens" Inventiones mathematicae 58 (1980): 179-200.)

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...