summaryrefslogtreecommitdiffstats
path: root/chapitres
Commit message (Collapse)AuthorAgeFilesLines
...
* [Gröbner] Algorithme de calcul d'un inverse dans une algèbre de type fini ↵David A. Madore2012-11-221-0/+26
| | | | (explicitement présentée) sur un corps.
* [Gröbner] Mot oublié.David A. Madore2012-11-221-7/+8
|
* [Radicaux] Algorithme de calcul des expressions des racines en radicaux: cas ↵David A. Madore2012-11-221-10/+48
| | | | de la caractéristique p>0.
* [Gröbner] Un éclaircissement sur ce qu'on peut et ne peut pas faire (test ↵David A. Madore2012-11-221-0/+38
| | | | de primalité indécidable en général).
* [LG] modification ε-esque énoncé th. principal sur ζFabrice (Darwin)2012-11-221-5/+4
|
* [LG] mini correctif (sur les pôles)Fabrice (Darwin)2012-11-221-8/+16
|
* [Alg] point à clarifierFabrice (Darwin)2012-11-201-0/+1
|
* [Gröbner] Élimination des hypothèses de perfection (suite et fin(?)).David A. Madore2012-11-151-54/+54
|
* [LG] réécriture énoncé théorème principal du chapitreFabrice (eramangarria)2012-11-151-23/+45
|
* [LG] réécriture blabla (trivial) sur ζFabrice (eramangarria)2012-11-151-135/+153
|
* [Gröbner] Élimination des hypothèses de perfection (suite).David A. Madore2012-11-151-27/+31
|
* [Gröbner] Élimination des hypothèses de perfection (début).David A. Madore2012-11-151-39/+94
|
* [Radicaux] Algorithme de calcul des expressions des racines en radicaux: cas ↵David A. Madore2012-11-151-5/+37
| | | | de la caractéristique 0 sans hypothèse de racines de l'unité.
* [Radicaux] Algorithme de calcul des expressions des racines en radicaux: cas ↵David A. Madore2012-11-151-6/+115
| | | | de la caractéristique 0 avec assez de racines de l'unité.
* [LG] modification ε-esqueFabrice (Darwin)2012-11-151-4/+5
|
* [AC] ajout étiquetteFabrice (Darwin)2012-11-151-0/+1
|
* [calculs] petite remarque (0 a de nombreux diviseurs)Fabrice (eramangarria)2012-11-121-0/+1
|
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-11-021-4/+134
|\
| * [Radicaux] Modifications mineures.David A. Madore2012-11-021-6/+7
| |
| * [Radicaux] Résolution de x^5 - 5x + 12.David A. Madore2012-11-021-4/+133
| |
* | [LG] fin démonstration (à peaufiner) du calcul de volume idélique (cf. ↵Fabrice (eramangarria)2012-11-021-30/+87
|/ | | | résidu ζ en 0)
* [LG] correction dans normalisation des mesures (coquilles)Fabrice (eramangarria)2012-11-021-2/+3
| | | | | ⚠ faire attention aux erreurs de calculs... (Il faudra tout vérifier en détail.)
* [LG] début calcul volume idèles corps de nombresFabrice (eramangarria)2012-10-261-10/+12
|
* [LG] calcul de volume : cas trivial des corps de fonctionsFabrice (eramangarria)2012-10-261-13/+27
|
* [LG] mini-clarifications (mesures, Fourier etc.)Fabrice (eramangarria)2012-10-261-59/+85
|
* [LG] erreur de signe important corrigéeFabrice (eramangarria)2012-10-261-1/+1
| | | | ⚠ vérifier que la formule fausse n'a pas été utilisée
* [LG] copier-collerFabrice (eramangarria)2012-10-261-58/+53
|
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-10-261-20/+47
|\ | | | | | | | | Conflicts: chapitres/locaux-globaux.tex
| * [LG] style (suppression de « déjà » inutiles) + εFabrice (Darwin)2012-10-261-17/+14
| |
| * [LG] coquilleFabrice (Darwin)2012-10-261-2/+2
| |
| * [LG] 1+2+3+4+… = -1/12 ; remarque sur approche un chouïa différente.Fabrice (Darwin)2012-10-261-1/+31
| |
* | [LG] changement de variableFabrice (eramangarria)2012-10-261-3/+3
|/
* [LG] début réécriture/relecture bref ❡ (§?) sur lien corps de ↵Fabrice (eramangarria)2012-10-191-23/+32
| | | | fonctions ↔ courbes algébriques
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2012-10-191-55/+68
|\
| * [LG] deux conséquences (triviales) de RRFabrice (eramangarria)2012-10-191-55/+68
| |
* | [Radicaux] Merdouille complète.David A. Madore2012-10-191-0/+10
|/
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2012-10-191-66/+73
|\
| * [LG] formule générale de Poisson-Riemann-Roch : fin de la démonstrationFabrice (eramangarria)2012-10-191-42/+49
| |
| * [LG] fin détails sur convergence uniforme (pour Poisson)Fabrice (eramangarria)2012-10-191-23/+23
| |
* | [Radicaux] Typo.David A. Madore2012-10-191-1/+1
|/
* [LG] quelques \cite{} et modifications mineuresFabrice (Darwin)2012-10-191-11/+15
|
* [RT] (toudou) un lemme utileFabrice (Phare)2012-10-181-0/+10
|
* [LG] formule de Poisson adélique : début réécriture.Fabrice (eramangarria)2012-10-121-91/+98
|
* [calculs] TODO pour la suite.David A. Madore2012-10-121-0/+4
|
* [Gröbner] Surtout du blabla.David A. Madore2012-10-121-8/+59
|
* [Gröbner] Algorithme final de calcul du groupe de Galois par bases de Gröbner.David A. Madore2012-10-121-3/+42
|
* [Gröbner] L'algèbre de décomposition universelle sépare les racines ↵David A. Madore2012-10-121-13/+39
| | | | (d'un polynôme séparable).
* [Gröbner, calculs] Correction erreur de signe qui traînait.David A. Madore2012-10-122-2/+2
|
* [Gröbner] Début d'une discussion (mais il faut que je revienne sur ↵David A. Madore2012-10-121-9/+51
| | | | l'algèbre de décomposition universelle).
* [LG] clarification sur les signes (Poisson adélique)Fabrice (eramangarria)2012-10-121-14/+18
|