summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| * [Gröbner] Démonstration de la proposition de "netteté générique".David A. Madore2012-09-201-2/+51
| |
* | [LG] th. densité forte (déjà connu) déplacé (avec remarque sur ↵Fabrice (Darwin)2012-09-201-25/+12
|/ | | | existence démo. adélique).
* [LG] suppression blabla sur Pic déjà réécritesFabrice (Darwin)2012-09-201-41/+12
|
* [LG] Spec(𝒪_K(U))=U : fin ; changement d'étiquettesFabrice (Darwin)2012-09-201-52/+66
|
* [AVD-D] étiquetteFabrice (Darwin)2012-09-201-2/+2
|
* [Gröbner] Énoncé de la proposition que je crois devoir démontrer maintenant.David A. Madore2012-09-201-1/+10
|
* [plan] LaTeXFabrice (Darwin)2012-09-201-1/+2
|
* [verselles] mini-changement (exemple à développer déplacé)Fabrice (Darwin)2012-09-201-7/+7
|
* [LG] coquille + questions de notationFabrice (eramangarria)2012-09-131-12/+21
|
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-09-121-2/+91
|\
| * [Gröbner] Idéal en « position nette » par rapport à une variable.David A. Madore2012-09-121-2/+91
| |
* | [LG, AVD-D] théorème d'approximation pour les Dedekind (énoncé) et ↵Fabrice (eramangarria)2012-09-122-9/+47
|/ | | | application (début)
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-09-121-12/+68
|\
| * [Gröbner] Référence pour idéal premier de dimension 0 ⇒ maximal.David A. Madore2012-09-121-7/+10
| |
| * [Gröbner] Blabla général sur les idéaux premiers de dimension 0.David A. Madore2012-09-121-12/+65
| |
* | [plan, livre] nouveau planFabrice (eramangarria)2012-09-122-67/+112
|/ | | | | | | | | Transformation (partielle) du livre en une sorte de « handbook » (manuel ?). A été émise l'idée d'écrire une introduction dans le style de celle de « Einstein manifolds » (A. Besse). À faire : traquer les « on verra plus loin » etc.
* [LG] reminimodificationsFabrice (Darwin)2012-09-121-3/+4
|
* [LG] légère réécriture finitude Pic(O_K)Fabrice (Darwin)2012-09-121-13/+6
|
* [AVD-D] mini toudouFabrice (Darwin)2012-09-121-0/+7
|
* [LG] finitude Pic(𝒪_K) par méthode élémentaireFabrice (Darwin)2012-09-121-3/+41
| | | | Cf. Ribenboim.
* [LG] groupes de Picard, finitude (méthode adélique)Fabrice (Darwin)2012-09-061-70/+150
|
* [Gröbner] Calcul algorithmique du radical d'un idéal de dimension 0.David A. Madore2012-09-061-13/+81
|
* [Gröbner] Radicalité de l'algèbre de décomposition universelle d'un ↵David A. Madore2012-09-061-2/+28
| | | | polynôme séparable.
* [Gröbner] « Lemme 92 » de Seidenberg (critère pour qu'un idéal de ↵David A. Madore2012-09-061-0/+41
| | | | dimension 0 soit radical).
* [Gröbner] Algèbre de décomposition universelle d'un polynôme.David A. Madore2012-09-061-3/+58
|
* [Spec] Ajout d'une conséquence immédiate de résultats antérieurs.David A. Madore2012-09-061-0/+12
| | | | Je pense que c'est bien d'écrire ça noir sur blanc.
* [livre] semi-suppression de input{.cv}Fabrice (Polytechnique)2012-08-311-2/+4
|
* [Gröbner] Vague programme pour la suite.David A. Madore2012-08-301-0/+6
|
* [Gröbner] Petite remarque.David A. Madore2012-08-301-1/+12
|
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-08-301-15/+65
|\
| * [Gröbner] Factorisation d'un bout de démonstration.David A. Madore2012-08-301-14/+8
| |
| * [Gröbner] Idéaux de dimension 0, preuve de certaines équivalences.David A. Madore2012-08-301-5/+38
| |
| * [Gröbner] Idéaux de dimension 0 (début).David A. Madore2012-08-301-1/+24
| |
* | [LG] sorites vers le groupe de PicardFabrice (eramangarria)2012-08-301-53/+59
|/
* [LG] fin Dirichlet abstraitFabrice (eramangarria)2012-08-301-8/+32
|
* [Gröbner] Fonction et polynôme de Hilbert-Samuel d'un idéal affine.David A. Madore2012-08-301-0/+57
|
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-08-301-16/+75
|\
| * [Gröbner] Blabla général sur l'élimination algébrique.David A. Madore2012-08-301-0/+22
| |
| * [Gröbner] Démonstration (+reformulation) de la proposition d'élimination.David A. Madore2012-08-301-16/+53
| |
* | [LG] encore un lemme sorital d'intégration/topologieFabrice (eramangarria)2012-08-301-0/+14
|/
* [bibliographie] Hasse et RosenFabrice (eramangarria)2012-08-301-0/+23
|
* [LG] Dirichlet abstrait ⇒ Dirichlet usuelFabrice (eramangarria)2012-08-301-44/+79
|
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-08-301-9/+89
|\
| * [Gröbner] Blabla général sur les algorithmes fondamentaux.David A. Madore2012-08-301-7/+65
| |
| * [Gröbner] Quelques remarques sur l'algorithme de Buchberger.David A. Madore2012-08-301-2/+24
| |
* | Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-08-090-0/+0
|\ \ | |/
| * [[LG] fin comparaison topologies adélique et idéliqueFabrice (eramangarria)2012-08-091-20/+57
| |
* | [LG] fin comparaison topologies adélique et idéliqueFabrice (eramangarria)2012-08-091-20/+57
|/
* [LG] début comparaison topologies adélique et idéliqueFabrice (eramangarria)2012-08-081-42/+61
|
* [Gröbner] Une petite proposition facile.David A. Madore2012-08-081-0/+14
|