summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Transformation en LuaTeX : correspondance-galois.texDavid A. Madore2013-02-282-145/+132
|
* Unicode : remplacement du caractère U+2126 OHM SIGN par U+03A9 GREEK ↵David A. Madore2013-02-2810-224/+224
| | | | CAPITAL LETTER OMEGA partout.
* Unicode : racines carrées (le caractère √ n'est pas actif).David A. Madore2013-02-286-104/+104
|
* Unicode : remplacement du symbole dièze (♯) quand il sert à désigner ↵David A. Madore2013-02-286-13/+13
| | | | le cardinal.
* Unicode : remplacement des tirets par des tirets Unicode partout.David A. Madore2013-02-2811-34/+34
|
* Unicode : changement utilisations de divers caractères Unicode.David A. Madore2013-02-281-30/+30
|
* Transformation en LuaTeX: transformation de extensions-algebriques.texDavid A. Madore2013-02-283-115/+108
|
* Transformation en LuaTeX: transformation de spectre.texDavid A. Madore2013-02-282-50/+51
|
* Transformation en LuaTeX: bases-groebner.tex, conversion des tirets.David A. Madore2013-02-284-63/+46
|
* Merge branch 'master' into conversion-luatexDavid A. Madore2013-02-283-52/+71
|\
| * [LG] grosse merdouille sur les courbes, les points, etc.Fabrice (eramangarria)2013-02-281-49/+68
| | | | | | | | 2013-2-28 (18h49)
| * [CG,Azu,LG] coquille vimFabrice (eramangarria)2013-02-283-3/+3
| |
* | Transformation en LuaTeX: gestion des caractères CJK, transformation de ↵David A. Madore2013-02-283-38/+85
| | | | | | | | categories.tex
* | Transformation en LuaTeX: création d'une nouvelle config, transformation de ↵David A. Madore2013-02-283-35/+128
|/ | | | corps-finis.tex
* [Fin] ajout petite question en hâte...Fabrice (Phare)2013-02-221-3/+12
|
* [Fin] ajout exo sur 𝐅₂ à la Conway en attendant le chapitre ↵Fabrice (Phare)2013-02-221-0/+10
| | | | correspondant...
* [Fin] coquilleFabrice (Phare)2013-02-221-1/+1
|
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2013-02-2128-9/+79
|\
| * Merge branch 'master' of git.madore.org:galoisDavid A. Madore2013-02-212-22/+34
| |\
| * | Ajout à tous les fichiers d'une ligne magique pour Emacs.David A. Madore2013-02-2128-3/+28
| | | | | | | | | | | | | | | | | | | | | | | | (À cause du \ifx commençant les fichiers, il ne les reconnaît pas comme du LaTeX mais seulement du TeX. Ceci force à passer en mode LaTeX. Si on veut mettre aussi des variables pour vim, il faut le faire comme dans locaux-globaux.tex (par exemple) en terminant par le caractère ':'.)
| * | [Gröbner] Construction par récurrence de l'algèbre de décomposition ↵David A. Madore2013-02-211-6/+51
| | | | | | | | | | | | universelle.
* | | [LG] formule de la moyenne/masse [à réécrire/vérifier]Fabrice (eramangarria)2013-02-211-6/+49
| |/ |/|
* | [LG] places ⤳ points, pour éviter confusion avec places K → k ∪ {+∞}Fabrice (eramangarria)2013-02-211-21/+21
| |
* | 2013-2-21 (16h58)Fabrice (eramangarria)2013-02-211-27/+52
|\ \ | |/ | | | | Merge branch 'master' of git.madore.org:galois
| * [Gröbner] Généralisation de certains énoncés sur l'algèbre de ↵David A. Madore2013-02-211-27/+52
| | | | | | | | | | | | décomposition universelle à un anneau au lieu d'un corps. Écrit comme ça, c'est malheureusement assez moche.
* | [bib] ajout Fried et JardenFabrice (eramangarria)2013-02-211-1/+13
|/
* [LG] relecture majoration BombieriFabrice (eramangarria)2013-02-211-26/+30
| | | | | ☡ j'ai toujours des doutes sur σ ↔ σ^{-1} dans les formules. (Bien distinguer la droite de la gauche lors d'une future relecture.))
* [Gröbner] Cohérence des notations.David A. Madore2013-02-211-1/+1
|
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2013-02-211-1/+1
|\
| * LG: coquilleFabrice (eramangarria)2013-02-211-1/+1
| |
* | [Gröbner] Ajout d'une remarque plus explicite sur la dimension de ↵David A. Madore2013-02-211-7/+22
|/ | | | l'algèbre de décomposition universelle (et sa base).
* C1: variante un peu plus générale de Chevalley-WarningFabrice (Darwin)2013-02-211-0/+11
| | | | Devrait remplacer l'énoncé initial ?
* modp: ajout remarque sur nombre polynômes réductiblesFabrice (Darwin)2013-02-191-0/+6
|
* Gröbner: esquisse argumentFabrice (Phare)2013-02-151-0/+7
|
* Gröbner: question sur l'ADU d'un polynôme.Fabrice (Phare)2013-02-151-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-081-0/+43
|
* [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 ↵Fabrice (Darwin)2013-01-251-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. Madore2013-01-251-0/+81
|
* [Radicaux] Très légères améliorations rédactionnelles.David A. Madore2013-01-251-5/+12
|
* [Plan] Petite mise à jour.David A. Madore2013-01-251-5/+5
|
* [Gröbner] Proposition : si les monômes initiaux sont deux à deux ↵David A. Madore2013-01-181-5/+48
| | | | premiers entre eux, on a une base de Gröbner. + Utilisation.
* [LG] ε² sur RHFabrice (Darwin)2013-01-181-17/+31
|
* [LG] exercice d'après cours Laurent Lafforgue.Fabrice (Darwin)2013-01-181-1/+13
| | | | [Je ne vois pas pourquoi c'est vrai.]
* 2013-1-18 (17h20)Fabrice (Darwin)2013-01-181-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. 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
|