Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
fr:research:projects [2018/03/29 17:21]
apeiron
fr:research:projects [2018/03/29 17:25] (Version actuelle)
apeiron
Ligne 21: Ligne 21:
 Cela permettrait de faire un pont entre la communauté de la **complexité implicite** et la communauté de la **complexité par typage,** tout en fournissant une paire de langages capables de mettre fin à la quête d'un langage caractérisant les algorithmes polynomiaux. Cela permettrait de faire un pont entre la communauté de la **complexité implicite** et la communauté de la **complexité par typage,** tout en fournissant une paire de langages capables de mettre fin à la quête d'un langage caractérisant les algorithmes polynomiaux.
  
 +===== Séries divergentes =====
 +
 +Comme indiqué dans [[fr:​vulgarisation:​series-divergentes|mon article sur les séries divergentes]],​ le travail fait par Lê (de la chaîne Science4All) et moi pourrait mener à une caractérisation des séries divergentes sommables de façon unique par linéarité,​ stabilité et régularité. Mais pour cela il faudrait que je me mette à jour sur l'​état de l'art (toute aide serait la bienvenue) puis faire la preuve rigoureusement avant de la soumettre quelque part (je ne connais pas cette communauté,​ encore une fois toute aide serait la bienvenue ^^).