Utilisateur : Gayral
Développements
'
Références :
Objectif Agrégation - Beck, Malick, Peyré
'
Références :
Types de données et algorithmes - Christine Froidevaux, Marie-Claude Gaudel, Michèle Soria
'
Références :
Oraux X-ENS Analyse 4\r - Francinou, Gianella, Nicolas
'
Références :
Eléments d'algorithmique - Beauquier, Berstel et Chrétienne
Preuve maison, par induction transfinie sur les ordinaux.
Application aux pavages du réseau $\mathbb{Z}^2$.'
Références :
'
Références :
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
'
Références :
Mathématiques de l'informatique
- Dehornoy
Référence : Probability on Graphs, Grimmett'
Références :
'
Références :
Cours d'algèbre\r - Perrin
'
Références :
Compilers - Aho, Ullman, Lam, Sethi
'
Références :
Langages formels, Calculabilité et Complexité - Carton
'
Références :
Algèbre pour la licence 3\r - Risler
'
Références :
Histoires hédonistes de groupes et géométries, Tome 1 - Caldero, Germoni
'
Références :
Oraux X-ENS Analyse 1\r - Francinou, Gianella, Nicolas
'
Références :
Analyse harmonique réelle\r - Willem
'
Références :
Oraux X-ENS Analyse 4\r - Francinou, Gianella, Nicolas
'
Références :
Probabilités 2\r - Ouvrard
'
Références :
Introduction à la calculabilité - Wolper
'
Références :
Analyse pour l'agrégation - Queffelec, Zuily
'
Références :
Mathématiques de l'informatique
- Dehornoy
'
Références :
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
'
Références :
Exercices pour l'agrégation - Analyse 2\r - Chambert-Loir
'
Références :
Modélisation à l'oral de l'agrégation\r - Dumas
'
Références :
Oraux X-ENS Analyse 1\r - Francinou, Gianella, Nicolas
'
Références :
Langages formels, Calculabilité et Complexité - Carton
'
Références :
Exercices mathématiques\r - Francinou, Gianella
'
Références :
Oraux X-ENS Algèbre 1 - Francinou, Gianella, Nicolas
'
Références :
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
'
Références :
Exercices de probabilités - M. Cottrell, V. Genon-Catalot, C.Duhamel et T. Meyre
'
Références :
Oraux X-ENS Algèbre 1 - Francinou, Gianella, Nicolas
'
Références :
Oraux X-ENS Analyse 1\r - Francinou, Gianella, Nicolas
'
Références :
Oraux X-ENS Algèbre 2\r - Francinou, Gianella, Nicolas
'
Références :
Analyse numérique et équation différentielle\r - Demailly
'
Références :
Oraux X-ENS Algèbre 1 - Francinou, Gianella, Nicolas
'
Références :
Analyse réelle et complexe\r - Rudin
'
Références :
Oraux X-ENS Analyse 3 - Francinou, Gianella, Nicolas
'
Références :
Petit guide de calcul différentiel\r - Rouvière
'
Références :
Analyse mathématique\r - Testard
'
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
'
Références :
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
'
Références :
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
'
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Ce résultat n'est à ma connaissance pas référencé, mais on peut s'inspirer du fichier suivant et détailler plus en avant le fonctionnement de la machine décrite :
https://www.irif.fr/~carton/Enseignement/Complexite/ENS/Redaction/2009-2010/pablo.rauzy.pdf'
Références :