summaryrefslogtreecommitdiffstats
path: root/chapitres/bases-groebner.tex
Commit message (Expand)AuthorAgeFilesLines
...
* [Gröbner] Algèbre de décomposition universelle d'un polynôme.David A. Madore2012-09-061-3/+58
* [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
* [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
* [Gröbner] Fonction et polynôme de Hilbert-Samuel d'un idéal affine.David A. Madore2012-08-301-0/+57
* [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
* [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
* [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
* [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
* [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
* [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
* [Gröbner] Démerdouillage de la démonstration du critère de Buchberger (en...David A. Madore2012-07-121-24/+38
* [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
* [Gröbner] Algorithme de Buchberger : remaniements de présentation avant de...David A. Madore2012-07-121-19/+32
* [Gröbner] coquillesFabrice (eramangarria)2012-07-031-2/+2
* [Gröbner] Un exemple de non-base de Gröbner.David A. Madore2012-06-211-2/+31
* [Gröbner] Remaniement ordres admissibles définis par une famille de poids.David A. Madore2012-06-211-29/+35
* [Gröbner] Diverses remarques, développements, petites réécritures.David A. Madore2012-06-211-22/+63
* [Gröbner] + Remarque idiote.David A. Madore2012-06-211-1/+6
* [Gröbner] Remarques sur d'autres ordres monomiaux possibles.David A. Madore2012-06-211-0/+53
* [Gröbner] Ordre lexicographique inversé gradué.David A. Madore2012-06-211-25/+78
* [Gröbner] Ordre lexicographique gradué.David A. Madore2012-06-211-25/+58
* [Gröbner] Relecture généralités sur ordres monomiaux + ordre lexicographi...David A. Madore2012-06-141-23/+59
* [Groebner] Relecture section « monômes et idéaux monomiaux ».David A. Madore2012-06-141-17/+33
* [Gröbner] Motivations (blabla général sur ce qu'on va faire et pourquoi).David A. Madore2012-06-141-0/+74
* [Gröbner] Version préliminaire du chapitre.David A. Madore2012-06-141-0/+423
* Création nouveau chapitre : bases de Gröbner.David A. Madore2012-06-141-0/+35