summaryrefslogtreecommitdiffstats
path: root/chapitres
Commit message (Expand)AuthorAgeFilesLines
...
* [Alg] clarifications (?) sur calcul polynôme annulateurFabrice (Phare)2013-02-081-22/+19
* [Radicaux] Un théorème de Galois sur les équations résolubles de degré p.David A. Madore2013-01-251-1/+58
* [LG] une questionFabrice (Darwin)2013-01-251-16/+4
* [LG] démonstration de la moitié (difficile) de l'hypothèse de Riemann pour...Fabrice (Darwin)2013-01-251-27/+102
* [Radicaux] Un lemme sur les sous-groupes résolubles transitifs de 𝔖_p.David A. Madore2013-01-251-0/+81
* [Radicaux] Très légères améliorations rédactionnelles.David A. Madore2013-01-251-5/+12
* [Gröbner] Proposition : si les monômes initiaux sont deux à deux premiers...David A. Madore2013-01-181-5/+48
* [LG] ε² sur RHFabrice (Darwin)2013-01-181-17/+31
* [LG] exercice d'après cours Laurent Lafforgue.Fabrice (Darwin)2013-01-181-1/+13
* 2013-1-18 (17h20)Fabrice (Darwin)2013-01-181-2/+59
|\
| * [Gröbner] Démonstration du lemme-à-tout-faire sur les modules de Cauchy.David A. Madore2013-01-181-2/+59
* | [LG] 2 i π → 2 π iFabrice (Darwin)2013-01-181-4/+4
|/
* [LG] ε sur RHFabrice (Darwin)2013-01-101-8/+62
* [AVD-D] étiquetteFabrice (Darwin)2013-01-101-0/+1
* [Gröbner] Suite du nettoyage des écuries d'Augias.David A. Madore2012-12-201-67/+53
* [Gröbner] Un lemme sur les modules de Cauchy qui devrait permettre de démer...David A. Madore2012-12-201-0/+44
* 2012-12-20 (18h23)Fabrice (Darwin)2012-12-201-0/+25
|\
| * [Gröbner] Démonstration toujours inachevée. Je m'embrouille de plus en plus.David A. Madore2012-12-201-20/+25
| * [Gröbner] Commit d'un lemme que je vais effacer immédiatement.David A. Madore2012-12-201-0/+20
* | [LG] début blabla avant démonstration hypothèse de RiemannFabrice (Darwin)2012-12-201-12/+73
|/
* [LG] fin démonstration du lemme et de l'existence d'un diviseur de degré 1Fabrice (Darwin)2012-12-201-42/+25
* [LG] début démonstration formule d'extension des scalairesFabrice (Darwin)2012-12-201-20/+55
* [LG] mini-changements de mise en page + un petit toudouFabrice (Darwin)2012-12-131-8/+11
* [LG] esquisse démonstration existence diviseur degré 1 sur courbeFabrice (Darwin)2012-12-131-15/+29
* [Gröbner] Je merde complètement.David A. Madore2012-12-131-1/+6
* [LG] correction nombreuses « coquilles » et fin équation fonctionnelle, ...Fabrice (Darwin)2012-12-131-110/+116
* [Gröbner] Typo.David A. Madore2012-12-131-3/+3
* [CG] ajout d'une référence (pour un calcul classique)Fabrice (Darwin)2012-12-131-1/+4
* [LG] petite réécriture énoncé th. principalFabrice (Darwin)2012-12-131-46/+45
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2012-12-061-71/+127
|\
| * [LG] mini-modificationFabrice (Darwin)2012-12-061-8/+7
| * [locaux-globaux] presque fin de la démonstration de l'équation fonctionnell...Fabrice (Darwin)2012-12-061-68/+125
* | [Gröbner] Base de Gröbner des relations de l'algèbre de décomposition uni...David A. Madore2012-12-061-18/+44
|/
* [Gröbner, Radicaux] Petites remarques suite à ce qui vient d'être démontré.David A. Madore2012-12-062-1/+8
* [Gröbner] Déplacement dans une nouvelle sous-section.David A. Madore2012-12-061-64/+69
* [Gröbner] Algorithme de calcul de l'inverse (remaniement + fin de la démons...David A. Madore2012-12-061-18/+40
* [Gröbner] Une proposition donnant une borne triviale sur le degré de la bas...David A. Madore2012-12-061-0/+31
* [Gröbner] Typo stupide.David A. Madore2012-12-061-1/+1
* [Gröbner] Micro-remarque pour clarifier un énoncé.David A. Madore2012-12-061-1/+2
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2012-11-221-77/+99
|\
| * [LG] tout début démonstration théorème principal sur ζ (je me suis embro...Fabrice Orgogozo2012-11-221-77/+99
* | [Gröbner] Début de démonstration de correction de l'algorithme d'inversion.David A. Madore2012-11-221-0/+9
* | [Gröbner] Petit changement notationnel.David A. Madore2012-11-221-8/+8
|/
* [Gröbner] L'énoncé précédent était incorrect. Rectification (malheureu...David A. Madore2012-11-221-7/+12
* [Gröbner] Algorithme de calcul d'un inverse dans une algèbre de type fini (...David A. Madore2012-11-221-0/+26
* [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
* [Gröbner] Un éclaircissement sur ce qu'on peut et ne peut pas faire (test d...David A. Madore2012-11-221-0/+38
* [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
generated by cgit v1.1 at 2020-07-04 21:29:09 +0000