summaryrefslogtreecommitdiffstats
path: root/chapitres
Commit message (Expand)AuthorAgeFilesLines
...
* [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
* [AVD-D] énoncé (vague) : à faireFabrice (eramangarria)2012-07-131-1/+11
* [LG] formule du produit (première démonstration) et un résultat de finitude.Fabrice (eramangarria)2012-07-131-17/+53
* [LG] théorème de cocompacitéFabrice (eramangarria)2012-07-131-20/+72
* [LG] homogénéisation des notationsFabrice (eramangarria)2012-07-121-1/+1
* [LG] trace et dualité (suite et fin)Fabrice (eramangarria)2012-07-121-32/+23
* [Gröbner] Démerdouillage de la démonstration du critère de Buchberger (en...David A. Madore2012-07-121-24/+38
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-07-121-32/+112
|\
| * [Gröbner] Critère de Buchberger : suite de la démonstration (je m'embroui...David A. Madore2012-07-121-2/+13
| * [Gröbner] Divers remaniements.David A. Madore2012-07-121-29/+68
| * [Gröbner] Début de la preuve du critère de Buchberger.David A. Madore2012-07-121-10/+40
* | [LG] trace et dualité (en cours) [sauvegarde avant de partir…]Fabrice (eramangarria)2012-07-121-32/+80
|/
* [Alg] uniformisation notations (m_a -> [×a])Fabrice (eramangarria)2012-07-121-10/+10
* [radicaux] coquillesFabrice (eramangarria)2012-07-121-2/+2
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-07-121-19/+32
|\
| * [Gröbner] Algorithme de Buchberger : remaniements de présentation avant de...David A. Madore2012-07-121-19/+32
* | [LG] fin démonstration K_𝐀 ⊗_K L ⥲ L_𝐀Fabrice (eramangarria)2012-07-121-64/+21
|/
* [AVD-D] coquille mathématiqueFabrice (eramangarria)2012-07-121-1/+1
* [LG] clarification sur O(U) de DedekindFabrice (eramangarria)2012-07-121-12/+18
* [AVD-D, LG] 日本式ローマ字Fabrice (eramangarria)2012-07-122-4/+4
* [Gröbner] coquillesFabrice (eramangarria)2012-07-031-2/+2
* [LG] référence et coquilleFabrice (eramangarria)2012-06-221-2/+4
* [AC] ajout énoncéFabrice (eramangarria)2012-06-221-0/+8
* [Gröbner] Un exemple de non-base de Gröbner.David A. Madore2012-06-211-2/+31