summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* [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
* [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
* [bibliographie] EulerFabrice (eramangarria)2012-11-151-1/+10
* [Radicaux] Algorithme de calcul des expressions des racines en radicaux: cas ...David A. Madore2012-11-151-5/+37
* [Radicaux] Algorithme de calcul des expressions des racines en radicaux: cas ...David A. Madore2012-11-151-6/+115
* [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
|\