summaryrefslogtreecommitdiffstats
path: root/chapitres/AVD-Dedekind.tex
Commit message (Collapse)AuthorAgeFilesLines
* [AVD-D] ajout étiquetteFabrice (Darwin)2012-10-121-0/+1
|
* [AVD-D] étiquetteFabrice (Darwin)2012-09-201-2/+2
|
* [LG, AVD-D] théorème d'approximation pour les Dedekind (énoncé) et ↵Fabrice (eramangarria)2012-09-121-0/+20
| | | | application (début)
* [AVD-D] mini toudouFabrice (Darwin)2012-09-121-0/+7
|
* [AVD-D] énoncé (vague) : à faireFabrice (eramangarria)2012-07-131-1/+11
|
* [AVD-D] coquille mathématiqueFabrice (eramangarria)2012-07-121-1/+1
|
* [AVD-D, LG] 日本式ローマ字Fabrice (eramangarria)2012-07-121-3/+3
| | | | Le nom étant あきづき (et pas son homophone あきずき)
* [RT, AVD-D] ajout de quelques énoncés sur séparabilité, k((t)) etc. (à ↵Fabrice (eramangarria)2012-06-211-4/+16
| | | | détailler lors de l'écriture)
* [AVD-D] clarification énoncé sur extensions valuationsFabrice (eramangarria)2012-06-211-10/+22
|
* [AVD-D] precisions sur Krull-AkidukiFabrice Orgogozo2012-03-221-2/+4
| | | | | C'est la forme utilisee dans [LG] Merci emacs (pas d'accent, pas de japonais :()
* [AC,AVD-D,CG,Alg] tiquettes, mini-toudou, coquillesFabrice Orgogozo2012-03-151-0/+1
|
* [AVD-D] mini toudouFabrice (Phare)2012-03-081-0/+7
|
* [AC,AVD-D,RT] toudousFabrice (Darwin)2012-03-011-0/+10
|
* [AVD-D] notation à changerFabrice (Darwin)2011-11-251-0/+5
|
* [AVD-D] petit toudou (fonctorialité ensemble des classes de valeurs absolues)Fabrice (iLiburu)2011-06-081-0/+4
|
* [AVD-D] toudou (variante sur Ostrowski) + doutes terminologiquesFabrice (iLiburu)2011-06-081-1/+14
| | | | | | | pseudo-valeur absolue/valeur absolue ? norme/quasi-norme ? module/norme ? etc.
* [AVD-D] EVT localement compact sur corps *valué* (non discret) est de ↵Fabrice (iLiburu)2011-06-081-0/+42
| | | | | | | | | dimension fini Il y a un énoncé plus général dans [BNT] mais il semblerait que l'on puisse s'en passer. (Et, in fine, les énoncés sont équivalents compte tenu de la description des corps localement compacts que l'on cherche à établir...)
* [AVD-D] changement terminologique (pseudo-valuation -> valuation)Fabrice (iLiburu)2011-06-081-10/+16
|
* [AVD-D] référence ajoutéeFabrice (iLiburu)2011-06-011-0/+7
|
* [AVD-D] quelques sorites sur EVT. (Applications : à faire)Fabrice (iLiburu)2011-06-011-0/+95
|
* [AVD-D] toudou (Gelfand-Mazur-Ostrowski, sorites sur valeurs absolues)Fabrice (iLiburu)2011-05-251-4/+24
|
* [AVD-D] étiquettes + toudouFabrice (iLiburu)2011-05-181-15/+38
|
* [AVD-D] étiquette + référenceFabrice Orgogozo2011-04-201-3/+4
|
* [AVD-D] ajout d'une référenceFabrice (iLiburu)2011-04-091-0/+2
|
* [AVD-D] ajout étiquettes/toudouFabrice (iLiburu)2011-04-071-11/+34
|
* [A(V)D] mini-toudouFabrice (Polytechnique)2011-03-241-1/+5
|
* [AVD, corps locaux/globaux] petite réorganisation + précision sur plan ↵Fabrice (Darwin)2011-03-241-0/+827
adèles/idèles et Riemann-Roch