summaryrefslogtreecommitdiffstats
Commit message (Collapse)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 ↵David A. Madore2012-12-201-0/+44
| | | | démerdifier tout ça.
* 2012-12-20 (18h23)Fabrice (Darwin)2012-12-201-0/+25
|\ | | | | | | Merge branch 'master' of git.madore.org:galois
| * [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
|/ | | | … pour les courbes sur un corps fini ;)
* [LG] fin démonstration du lemme et de l'existence d'un diviseur de degré 1Fabrice (Darwin)2012-12-201-42/+25
| | | | 2012-12-20 (16h34)
* [LG] début démonstration formule d'extension des scalairesFabrice (Darwin)2012-12-201-20/+55
| | | | 2012-12-20 (16h8)
* [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
| | | | modulo formule d'extension des scalaires (facile [?])
* [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
| | | | pôles, rationalité ζ
* [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 ↵Fabrice (Darwin)2012-12-061-68/+125
| | | | | | | | | | | | fonctionnelle etc. des fonctions ζ (assez générales) 2012-12-6 (17h32)
* | [Gröbner] Base de Gröbner des relations de l'algèbre de décomposition ↵David A. Madore2012-12-061-18/+44
|/ | | | | | universelle (suite). (Commit oublié plus tôt.)
* [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 ↵David A. Madore2012-12-061-18/+40
| | | | démonstration).
* [Gröbner] Une proposition donnant une borne triviale sur le degré de la ↵David A. Madore2012-12-061-0/+31
| | | | | | | base de Gröbner réduite en une variable dominante. Bizarrement, je ne trouve aucune trace de cette remarque — qui a pourtant l'air utile — dans la littérature. À vérifier soigneusement.
* [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 ↵Fabrice Orgogozo2012-11-221-77/+99
| | | | | | | | embrouillé dans les mesures...)
* | [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 ↵David A. Madore2012-11-221-7/+12
| | | | (malheureusement lourdingue).
* [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
|
* [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
| | | | 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
|\