Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
|
fr:research:projects [2018/03/29 17:21] apeiron |
fr:research:projects [2018/03/29 17:25] 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 ^^). | ||