summaryrefslogtreecommitdiffstats
path: root/chapitres/bases-groebner.tex
Commit message (Expand)AuthorAgeFilesLines
* [Gröbner] Petit changement notationnel.David A. Madore2012-11-221-8/+8
* [Gröbner] L'énoncé précédent était incorrect. Rectification (malheureu...David A. Madore2012-11-221-7/+12
* [Gröbner] Algorithme de calcul d'un inverse dans une algèbre de type fini (...David A. Madore2012-11-221-0/+26
* [Gröbner] Mot oublié.David A. Madore2012-11-221-7/+8
* [Gröbner] Un éclaircissement sur ce qu'on peut et ne peut pas faire (test d...David A. Madore2012-11-221-0/+38
* [Gröbner] Élimination des hypothèses de perfection (suite et fin(?)).David A. Madore2012-11-151-54/+54
* [Gröbner] Élimination des hypothèses de perfection (suite).David A. Madore2012-11-151-27/+31
* [Gröbner] Élimination des hypothèses de perfection (début).David A. Madore2012-11-151-39/+94
* [Gröbner] Surtout du blabla.David A. Madore2012-10-121-8/+59
* [Gröbner] Algorithme final de calcul du groupe de Galois par bases de Gröbner.David A. Madore2012-10-121-3/+42
* [Gröbner] L'algèbre de décomposition universelle sépare les racines (d'un...David A. Madore2012-10-121-13/+39
* [Gröbner, calculs] Correction erreur de signe qui traînait.David A. Madore2012-10-121-1/+1
* [Gröbner] Début d'une discussion (mais il faut que je revienne sur l'algèb...David A. Madore2012-10-121-9/+51
* [Gröbner] Suite exemple (explications peut-être un peu vaseuses).David A. Madore2012-10-121-6/+18
* [Gröbner] Un exemple explicite de décomposition.David A. Madore2012-10-121-3/+31
* [Gröbner] Énoncé d'un algorithme déjà décrit : décomposition des idé...David A. Madore2012-10-121-2/+9
* [Gröbner] Discussion qu'il va falloir reformuler comme une démonstration.David A. Madore2012-09-201-0/+16
* [Gröbner] Test de primalité en dimension 0.David A. Madore2012-09-201-1/+70
* [Gröbner] Comment ajouter une variable en position nette.David A. Madore2012-09-201-1/+26
* [Gröbner] Démonstration de la proposition de "netteté générique".David A. Madore2012-09-201-2/+51
* [Gröbner] Énoncé de la proposition que je crois devoir démontrer maintenant.David A. Madore2012-09-201-1/+10
* [Gröbner] Idéal en « position nette » par rapport à une variable.David A. Madore2012-09-121-2/+91
* [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
* [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
* [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