Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | LG: coquille | Fabrice (eramangarria) | 2013-02-21 | 1 | -1/+1 |
| | |||||
* | C1: variante un peu plus générale de Chevalley-Warning | Fabrice (Darwin) | 2013-02-21 | 1 | -0/+11 |
| | | | | Devrait remplacer l'énoncé initial ? | ||||
* | modp: ajout remarque sur nombre polynômes réductibles | Fabrice (Darwin) | 2013-02-19 | 1 | -0/+6 |
| | |||||
* | Gröbner: esquisse argument | Fabrice (Phare) | 2013-02-15 | 1 | -0/+7 |
| | |||||
* | Gröbner: question sur l'ADU d'un polynôme. | Fabrice (Phare) | 2013-02-15 | 1 | -0/+1 |
| | | | | | | | | | Il me semble aussi que les monômes x₁^r₁...x_{d-1}^r_d-1 avec r_i ≤ d-i forment une base. Si oui, on devrait le dire. Et puis la majoration par d! est liée au fait classique que le corps de décomposition est toujours de degré ≤ d! sur le corps de base. [Avec égalité si...] | ||||
* | CG: Lemme de McCoy-永田 et application au lemme de Gauß | Fabrice (Phare) | 2013-02-08 | 1 | -0/+43 |
| | |||||
* | [Alg] clarifications (?) sur calcul polynôme annulateur | Fabrice (Phare) | 2013-02-08 | 1 | -22/+19 |
| | |||||
* | [Radicaux] Un théorème de Galois sur les équations résolubles de degré p. | David A. Madore | 2013-01-25 | 1 | -1/+58 |
| | |||||
* | [LG] une question | Fabrice (Darwin) | 2013-01-25 | 1 | -16/+4 |
| | |||||
* | [LG] démonstration de la moitié (difficile) de l'hypothèse de Riemann ↵ | Fabrice (Darwin) | 2013-01-25 | 1 | -27/+102 |
| | | | | | | pour les courbes méthode de Bombieri, via l'« échange tordu du demi-Frobenius » [?]. | ||||
* | [Radicaux] Un lemme sur les sous-groupes résolubles transitifs de 𝔖_p. | David A. Madore | 2013-01-25 | 1 | -0/+81 |
| | |||||
* | [Radicaux] Très légères améliorations rédactionnelles. | David A. Madore | 2013-01-25 | 1 | -5/+12 |
| | |||||
* | [Gröbner] Proposition : si les monômes initiaux sont deux à deux ↵ | David A. Madore | 2013-01-18 | 1 | -5/+48 |
| | | | | premiers entre eux, on a une base de Gröbner. + Utilisation. | ||||
* | [LG] ε² sur RH | Fabrice (Darwin) | 2013-01-18 | 1 | -17/+31 |
| | |||||
* | [LG] exercice d'après cours Laurent Lafforgue. | Fabrice (Darwin) | 2013-01-18 | 1 | -1/+13 |
| | | | | [Je ne vois pas pourquoi c'est vrai.] | ||||
* | 2013-1-18 (17h20) | Fabrice (Darwin) | 2013-01-18 | 1 | -2/+59 |
|\ | | | | | | | Merge branch 'master' of git.madore.org:galois | ||||
| * | [Gröbner] Démonstration du lemme-à-tout-faire sur les modules de Cauchy. | David A. Madore | 2013-01-18 | 1 | -2/+59 |
| | | |||||
* | | [LG] 2 i π → 2 π i | Fabrice (Darwin) | 2013-01-18 | 1 | -4/+4 |
|/ | |||||
* | [LG] ε sur RH | Fabrice (Darwin) | 2013-01-10 | 1 | -8/+62 |
| | |||||
* | [AVD-D] étiquette | Fabrice (Darwin) | 2013-01-10 | 1 | -0/+1 |
| | |||||
* | [Gröbner] Suite du nettoyage des écuries d'Augias. | David A. Madore | 2012-12-20 | 1 | -67/+53 |
| | |||||
* | [Gröbner] Un lemme sur les modules de Cauchy qui devrait permettre de ↵ | David A. Madore | 2012-12-20 | 1 | -0/+44 |
| | | | | démerdifier tout ça. | ||||
* | 2012-12-20 (18h23) | Fabrice (Darwin) | 2012-12-20 | 1 | -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. Madore | 2012-12-20 | 1 | -20/+25 |
| | | |||||
| * | [Gröbner] Commit d'un lemme que je vais effacer immédiatement. | David A. Madore | 2012-12-20 | 1 | -0/+20 |
| | | |||||
* | | [LG] début blabla avant démonstration hypothèse de Riemann | Fabrice (Darwin) | 2012-12-20 | 1 | -12/+73 |
|/ | | | | … pour les courbes sur un corps fini ;) | ||||
* | [LG] fin démonstration du lemme et de l'existence d'un diviseur de degré 1 | Fabrice (Darwin) | 2012-12-20 | 1 | -42/+25 |
| | | | | 2012-12-20 (16h34) | ||||
* | [LG] début démonstration formule d'extension des scalaires | Fabrice (Darwin) | 2012-12-20 | 1 | -20/+55 |
| | | | | 2012-12-20 (16h8) | ||||
* | [LG] mini-changements de mise en page + un petit toudou | Fabrice (Darwin) | 2012-12-13 | 1 | -8/+11 |
| | |||||
* | [LG] esquisse démonstration existence diviseur degré 1 sur courbe | Fabrice (Darwin) | 2012-12-13 | 1 | -15/+29 |
| | | | | modulo formule d'extension des scalaires (facile [?]) | ||||
* | [Gröbner] Je merde complètement. | David A. Madore | 2012-12-13 | 1 | -1/+6 |
| | |||||
* | [LG] correction nombreuses « coquilles » et fin équation fonctionnelle, ↵ | Fabrice (Darwin) | 2012-12-13 | 1 | -110/+116 |
| | | | | pôles, rationalité ζ | ||||
* | [Gröbner] Typo. | David A. Madore | 2012-12-13 | 1 | -3/+3 |
| | |||||
* | [CG] ajout d'une référence (pour un calcul classique) | Fabrice (Darwin) | 2012-12-13 | 1 | -1/+4 |
| | |||||
* | [LG] petite réécriture énoncé th. principal | Fabrice (Darwin) | 2012-12-13 | 1 | -46/+45 |
| | |||||
* | Merge branch 'master' of git.madore.org:galois | David A. Madore | 2012-12-06 | 1 | -71/+127 |
|\ | |||||
| * | [LG] mini-modification | Fabrice (Darwin) | 2012-12-06 | 1 | -8/+7 |
| | | |||||
| * | [locaux-globaux] presque fin de la démonstration de l'équation ↵ | Fabrice (Darwin) | 2012-12-06 | 1 | -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. Madore | 2012-12-06 | 1 | -18/+44 |
|/ | | | | | | universelle (suite). (Commit oublié plus tôt.) | ||||
* | [Gröbner, Radicaux] Petites remarques suite à ce qui vient d'être démontré. | David A. Madore | 2012-12-06 | 2 | -1/+8 |
| | |||||
* | [Gröbner] Déplacement dans une nouvelle sous-section. | David A. Madore | 2012-12-06 | 1 | -64/+69 |
| | |||||
* | [Gröbner] Algorithme de calcul de l'inverse (remaniement + fin de la ↵ | David A. Madore | 2012-12-06 | 1 | -18/+40 |
| | | | | démonstration). | ||||
* | [Gröbner] Une proposition donnant une borne triviale sur le degré de la ↵ | David A. Madore | 2012-12-06 | 1 | -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. Madore | 2012-12-06 | 1 | -1/+1 |
| | |||||
* | [Gröbner] Micro-remarque pour clarifier un énoncé. | David A. Madore | 2012-12-06 | 1 | -1/+2 |
| | |||||
* | Merge branch 'master' of git.madore.org:galois | David A. Madore | 2012-11-22 | 1 | -77/+99 |
|\ | |||||
| * | [LG] tout début démonstration théorème principal sur ζ (je me suis ↵ | Fabrice Orgogozo | 2012-11-22 | 1 | -77/+99 |
| | | | | | | | | embrouillé dans les mesures...) | ||||
* | | [Gröbner] Début de démonstration de correction de l'algorithme d'inversion. | David A. Madore | 2012-11-22 | 1 | -0/+9 |
| | | |||||
* | | [Gröbner] Petit changement notationnel. | David A. Madore | 2012-11-22 | 1 | -8/+8 |
|/ | |||||
* | [Gröbner] L'énoncé précédent était incorrect. Rectification ↵ | David A. Madore | 2012-11-22 | 1 | -7/+12 |
| | | | | (malheureusement lourdingue). |