summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* [plan, livre] nouveau planFabrice (eramangarria)2012-09-122-67/+112
* [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
* [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
* [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
* [formules] macro \bigboxtimes de DavidFabrice (eramangarria)2012-07-181-0/+3
* [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