index
:
galois.git
conversion-luatex
master
Livre Galois
git repository hosting
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
chapitres
/
bases-groebner.tex
Commit message (
Expand
)
Author
Age
Files
Lines
*
[Gröbner] Proposition : si les monômes initiaux sont deux à deux premiers...
David A. Madore
2013-01-18
1
-5
/
+48
*
[Gröbner] Démonstration du lemme-à-tout-faire sur les modules de Cauchy.
David A. Madore
2013-01-18
1
-2
/
+59
*
[Gröbner] Suite du nettoyage des écuries d'Augias.
David A. Madore
2012-12-20
1
-67
/
+53
*
[Gröbner] Un lemme sur les modules de Cauchy qui devrait permettre de démer...
David A. Madore
2012-12-20
1
-0
/
+44
*
[Gröbner] Démonstration toujours inachevée. Je m'embrouille de plus en plus.
David A. Madore
2012-12-20
1
-20
/
+25
*
[Gröbner] Commit d'un lemme que je vais effacer immédiatement.
David A. Madore
2012-12-20
1
-0
/
+20
*
[Gröbner] Je merde complètement.
David A. Madore
2012-12-13
1
-1
/
+6
*
[Gröbner] Typo.
David A. Madore
2012-12-13
1
-3
/
+3
*
[Gröbner] Base de Gröbner des relations de l'algèbre de décomposition uni...
David A. Madore
2012-12-06
1
-18
/
+44
*
[Gröbner, Radicaux] Petites remarques suite à ce qui vient d'être démontré.
David A. Madore
2012-12-06
1
-0
/
+6
*
[Gröbner] Déplacement dans une nouvelle sous-section.
David A. Madore
2012-12-06
1
-64
/
+69
*
[Gröbner] Algorithme de calcul de l'inverse (remaniement + fin de la démons...
David A. Madore
2012-12-06
1
-18
/
+40
*
[Gröbner] Une proposition donnant une borne triviale sur le degré de la bas...
David A. Madore
2012-12-06
1
-0
/
+31
*
[Gröbner] Typo stupide.
David A. Madore
2012-12-06
1
-1
/
+1
*
[Gröbner] Micro-remarque pour clarifier un énoncé.
David A. Madore
2012-12-06
1
-1
/
+2
*
[Gröbner] Début de démonstration de correction de l'algorithme d'inversion.
David A. Madore
2012-11-22
1
-0
/
+9
*
[Gröbner] Petit changement notationnel.
David A. Madore
2012-11-22
1
-8
/
+8
*
[Gröbner] L'énoncé précédent était incorrect. Rectification (malheureu...
David A. Madore
2012-11-22
1
-7
/
+12
*
[Gröbner] Algorithme de calcul d'un inverse dans une algèbre de type fini (...
David A. Madore
2012-11-22
1
-0
/
+26
*
[Gröbner] Mot oublié.
David A. Madore
2012-11-22
1
-7
/
+8
*
[Gröbner] Un éclaircissement sur ce qu'on peut et ne peut pas faire (test d...
David A. Madore
2012-11-22
1
-0
/
+38
*
[Gröbner] Élimination des hypothèses de perfection (suite et fin(?)).
David A. Madore
2012-11-15
1
-54
/
+54
*
[Gröbner] Élimination des hypothèses de perfection (suite).
David A. Madore
2012-11-15
1
-27
/
+31
*
[Gröbner] Élimination des hypothèses de perfection (début).
David A. Madore
2012-11-15
1
-39
/
+94
*
[Gröbner] Surtout du blabla.
David A. Madore
2012-10-12
1
-8
/
+59
*
[Gröbner] Algorithme final de calcul du groupe de Galois par bases de Gröbner.
David A. Madore
2012-10-12
1
-3
/
+42
*
[Gröbner] L'algèbre de décomposition universelle sépare les racines (d'un...
David A. Madore
2012-10-12
1
-13
/
+39
*
[Gröbner, calculs] Correction erreur de signe qui traînait.
David A. Madore
2012-10-12
1
-1
/
+1
*
[Gröbner] Début d'une discussion (mais il faut que je revienne sur l'algèb...
David A. Madore
2012-10-12
1
-9
/
+51
*
[Gröbner] Suite exemple (explications peut-être un peu vaseuses).
David A. Madore
2012-10-12
1
-6
/
+18
*
[Gröbner] Un exemple explicite de décomposition.
David A. Madore
2012-10-12
1
-3
/
+31
*
[Gröbner] Énoncé d'un algorithme déjà décrit : décomposition des idé...
David A. Madore
2012-10-12
1
-2
/
+9
*
[Gröbner] Discussion qu'il va falloir reformuler comme une démonstration.
David A. Madore
2012-09-20
1
-0
/
+16
*
[Gröbner] Test de primalité en dimension 0.
David A. Madore
2012-09-20
1
-1
/
+70
*
[Gröbner] Comment ajouter une variable en position nette.
David A. Madore
2012-09-20
1
-1
/
+26
*
[Gröbner] Démonstration de la proposition de "netteté générique".
David A. Madore
2012-09-20
1
-2
/
+51
*
[Gröbner] Énoncé de la proposition que je crois devoir démontrer maintenant.
David A. Madore
2012-09-20
1
-1
/
+10
*
[Gröbner] Idéal en « position nette » par rapport à une variable.
David A. Madore
2012-09-12
1
-2
/
+91
*
[Gröbner] Référence pour idéal premier de dimension 0 ⇒ maximal.
David A. Madore
2012-09-12
1
-7
/
+10
*
[Gröbner] Blabla général sur les idéaux premiers de dimension 0.
David A. Madore
2012-09-12
1
-12
/
+65
*
[Gröbner] Calcul algorithmique du radical d'un idéal de dimension 0.
David A. Madore
2012-09-06
1
-13
/
+81
*
[Gröbner] Radicalité de l'algèbre de décomposition universelle d'un polyn...
David A. Madore
2012-09-06
1
-2
/
+28
*
[Gröbner] « Lemme 92 » de Seidenberg (critère pour qu'un idéal de dim...
David A. Madore
2012-09-06
1
-0
/
+41
*
[Gröbner] Algèbre de décomposition universelle d'un polynôme.
David A. Madore
2012-09-06
1
-3
/
+58
*
[Gröbner] Vague programme pour la suite.
David A. Madore
2012-08-30
1
-0
/
+6
*
[Gröbner] Petite remarque.
David A. Madore
2012-08-30
1
-1
/
+12
*
[Gröbner] Factorisation d'un bout de démonstration.
David A. Madore
2012-08-30
1
-14
/
+8
*
[Gröbner] Idéaux de dimension 0, preuve de certaines équivalences.
David A. Madore
2012-08-30
1
-5
/
+38
*
[Gröbner] Idéaux de dimension 0 (début).
David A. Madore
2012-08-30
1
-1
/
+24
*
[Gröbner] Fonction et polynôme de Hilbert-Samuel d'un idéal affine.
David A. Madore
2012-08-30
1
-0
/
+57
[next]