Pascal Vanier
Mots clés
FR |
EN
Calculabilité
Complexité algorithmique
Pavage (mathématiques)
Shifts multidimensionnels
Shifts sofics
Shift de type fini
Complexité de Kolmogorov
Algorithmes
Équation de Kolmogoroff
Théorème KAM
Dynamique symbolique
Décidabilité (logique mathématique)
Pavages
Sous-shifts
Complexité
Sft
Périodicité
Factorisation
Degrés Turing
Complexité de calcul (informatique)