summaryrefslogtreecommitdiffstats
path: root/chapitres
Commit message (Expand)AuthorAgeFilesLines
...
* [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
| |/ |/|
* | [calculs] Re-nouvelle démonstration de ce lemme, cette fois plus transparent...David A. Madore2011-05-181-48/+24
* | [calculs] Réécriture de la démonstration du lemme.David A. Madore2011-05-181-29/+40
|/
* [LC] début esquisse démo alternative équation fonctionnelle localeFabrice (iLiburu)2011-05-121-1/+13
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2011-05-121-90/+189
|\
| * [LC] petite réorganisation (copier-coller)Fabrice (iLiburu)2011-05-121-99/+117
| * [LC] gros morceaux de l'équation fonctionnelle + prolongement méromorphe.Fabrice (iLiburu)2011-05-121-53/+134
* | [calculs] Un lemme d'algèbre linéaire dont je ne comprends pas le sens prof...David A. Madore2011-05-121-0/+72
|/
* [calculs] Calculs de résolvantes linéaires au moyen de résultants.David A. Madore2011-05-121-2/+71
* [LC] suite calculs fonctions ζ locales et début th. local principalFabrice (iLiburu)2011-05-041-61/+59
* [calculs] Remarques, et plusieurs TODO, sur le calcul des résolvantes.David A. Madore2011-05-041-3/+58
* Merge branch 'master' of git.madore.org:galoisFabrice (iLiburu)2011-05-042-28/+62
|\
| * [calculs] Autre exemple important de résolvante.David A. Madore2011-05-042-3/+15
| * [calculs] Réécriture de la stratégie générale d'utilisation des résolva...David A. Madore2011-05-041-26/+48
* | [LC] réécriture zêta/Mellin localFabrice (iLiburu)2011-05-041-126/+169
|/