summaryrefslogtreecommitdiffstats
path: root/chapitres
Commit message (Expand)AuthorAgeFilesLines
* [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
* [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 polyn...David A. Madore2012-09-061-2/+28
* [Gröbner] « Lemme 92 » de Seidenberg (critère pour qu'un idéal de dim...David A. Madore2012-09-061-0/+41
* [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
* [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
|/
* [LG] Dirichlet abstrait ⇒ Dirichlet usuelFabrice (eramangarria)2012-08-301-44/+79
* [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
* [[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
* [Gröbner] Une remarque (qui répond en particulier à une question laissée ...David A. Madore2012-08-081-7/+21
* [Gröbner] Typo.David A. Madore2012-08-081-6/+6
* [LG] correction bug extrêmement bizarreFabrice (eramangarria)2012-08-081-1/+1
* [LG] iffileexits (cf. .cv.tex et affichage date/haché)Fabrice (eramangarria)2012-08-081-2/+2
* [Cat] quelques commentaires mineursFabrice (eramangarria)2012-08-071-0/+12
* [Gröbner] Une question à résoudre.David A. Madore2012-07-181-0/+7
* [Gröbner] Un petit critère supplémentaire.David A. Madore2012-07-181-0/+22
* [Gröbner] Bases de Gröbner réduites : existence, algorithme de calcul, et...David A. Madore2012-07-181-13/+71
* [LG] caractères additifs de Q_AFabrice (eramangarria)2012-07-181-79/+130
* [Gröbner] Démonstration de Spear-Schreyer.David A. Madore2012-07-181-6/+31
* [Gröbner] Petit changement de notations.David A. Madore2012-07-181-16/+19
* [Gröbner] Fin de la démonstration du critère de Buchberger.David A. Madore2012-07-181-6/+10
* [Gröbner] Correction de l'énoncé précédent, qui était faux (mais la dé...David A. Madore2012-07-181-2/+4
* [Gröbner] Relations entre monômes (démonstration).David A. Madore2012-07-181-0/+33
* [Gröbner] Énoncé plus précis sur les relations entre monômes.David A. Madore2012-07-181-9/+21
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2012-07-181-44/+48
|\
| * Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-07-181-30/+34
| |\
| * | [LG] relecture §1.1—§1.3.2Fabrice (eramangarria)2012-07-181-44/+48
* | | [Gröbner] Ajout de la terminologie « monôme initial » (ou « multidegr...David A. Madore2012-07-181-5/+19
| |/ |/|
* | [Gröbner] Petits remaniements et corrections.David A. Madore2012-07-181-30/+34
|/
* [LG] début idèlesFabrice (eramangarria)2012-07-131-30/+97