summaryrefslogtreecommitdiffstats
path: root/chapitres
Commit message (Expand)AuthorAgeFilesLines
* [LG] mini-ajout de référencesFabrice (iLiburu)2011-06-221-5/+22
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2011-06-221-13/+65
|\
| * Merge branch 'master' of git.madore.org:galoisFabrice (iLiburu)2011-06-221-41/+73
| |\
| * | [LG] formule de Poisson : esquisse.Fabrice (iLiburu)2011-06-221-13/+65
* | | [calculs] Résolvante sextique d'un polynôme de degré 5 (pour tester si le ...David A. Madore2011-06-221-0/+112
* | | [calculs] Sous-groupes de 𝔖_5.David A. Madore2011-06-221-0/+36
| |/ |/|
* | [calculs] Diagramme des inclusions de sous-groupes transitifs de 𝔖_4.David A. Madore2011-06-221-0/+15
* | [calculs] Utilisation des résolvantes : énoncé un chouïa plus général ...David A. Madore2011-06-221-41/+58
|/
* [calculs] mini-coquilleFabrice (iLiburu)2011-06-101-1/+1
* [AVD-D] petit toudou (fonctorialité ensemble des classes de valeurs absolues)Fabrice (iLiburu)2011-06-081-0/+4
* [LG] reprise des sorites sur corps *globaux* (toudou)Fabrice (iLiburu)2011-06-081-24/+51
* [LG] renewcommand div nécessaire (\!\?)Fabrice (iLiburu)2011-06-081-0/+2
* [LG] suppression structure EVT dimension finie sur corps localement compactsFabrice (iLiburu)2011-06-081-58/+0
* [LG] fin caractérisation corps locaux (synthèse faite)Fabrice (iLiburu)2011-06-081-92/+129
* [LG] coquilleFabrice (iLiburu)2011-06-081-0/+1
* [LG] caractérisation des corps locaux. Réorganisation + th. nouveauxFabrice (iLiburu)2011-06-081-93/+227
* [calculs] Quelques remarques intuitives sur ce qu'on fait.David A. Madore2011-06-081-5/+23
* [calculs] Éclaircissements + un exemple.David A. Madore2011-06-081-37/+52
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2011-06-081-1/+56
|\
| * [AVD-D] toudou (variante sur Ostrowski) + doutes terminologiquesFabrice (iLiburu)2011-06-081-1/+14
| * [AVD-D] EVT localement compact sur corps *valué* (non discret) est de dimens...Fabrice (iLiburu)2011-06-081-0/+42
* | [calculs] Résolvante relative pour un groupe de Galois cyclique d'ordre 4.David A. Madore2011-06-081-21/+57
|/
* [AVD-D] changement terminologique (pseudo-valuation -> valuation)Fabrice (iLiburu)2011-06-081-10/+16
* [LG] toudouFabrice (iLiburu)2011-06-011-6/+20
* [AVD-D] référence ajoutéeFabrice (iLiburu)2011-06-011-0/+7
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2011-06-011-21/+115
|\
| * [LG] EVT sur localement compact. démonstration (à relire)Fabrice (iLiburu)2011-06-011-17/+46
| * [LG] sorites vers structure EVT sur corps loc. compactFabrice (iLiburu)2011-06-011-15/+80
* | [calculs] Reprise de la partie sur les calculs en petits degrés.David A. Madore2011-06-011-48/+106
|/
* [calculs] Un peu de blabla + garantir la séparabilité d'une résolvante gé...David A. Madore2011-06-011-12/+44
* [calculs] Existence d'une transformation de Tschirnhaus rendant la résolvant...David A. Madore2011-06-011-14/+71
* [AVD-D] quelques sorites sur EVT. (Applications : à faire)Fabrice (iLiburu)2011-06-011-0/+95
* [LG] continuité moduleFabrice (iLiburu)2011-05-251-25/+79
* [calculs] Début de démonstration d'existence d'une transformation de Tschir...David A. Madore2011-05-251-3/+43
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2011-05-251-3/+43
|\
| * [LG] unicité mesure de Haar (cf. Nachbin)Fabrice (iLiburu)2011-05-251-3/+43
* | [calculs] Un exemple pas bien passionnant.David A. Madore2011-05-251-0/+31
* | [calculs] Un critère pour détecter si corps de rupture = corps de décompos...David A. Madore2011-05-251-5/+95
|/
* [AVD-D] toudou (Gelfand-Mazur-Ostrowski, sorites sur valeurs absolues)Fabrice (iLiburu)2011-05-251-4/+24
* [LG] début clarification sur mesures/places/extensions/etc.Fabrice (iLiburu)2011-05-251-65/+159
* Merge branch 'master' of git.madore.org:galoisFabrice (iLiburu)2011-05-251-8/+11
|\
| * [calculs] Éclaircissement / reformulation d'un contre-exemple.David A. Madore2011-05-251-8/+11
* | [LG] mesure de Haar : existence (pour groupe localement compact)Fabrice (iLiburu)2011-05-251-3/+132
|/
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2011-05-182-59/+164
|\
| * [AVD-D] étiquettes + toudouFabrice (iLiburu)2011-05-181-15/+38
| * [LC] début définitions/notations/sorites sur corps globaux.Fabrice (iLiburu)2011-05-181-24/+74
| * Merge branch 'master' of git.madore.org:galoisFabrice (iLiburu)2011-05-181-38/+25
| |\
| * | [LC] fin esquisse démonstration plus conceptuelle équation fonctionnelle lo...Fabrice (iLiburu)2011-05-181-21/+53
* | | [calculs] Quelques remarques sur la dernière proposition.David A. Madore2011-05-181-9/+48
* | | [calculs] Démonstration d'une proposition garantissant la séparabilité de ...David A. Madore2011-05-181-12/+60
| |/ |/|