galois.git - Livre Galois

	Commit message (Expand)	Author	Age	Files	Lines
*	[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
*	[Gröbner] Blabla général sur l'élimination algébrique.	David A. Madore	2012-08-30	1	-0/+22
*	[Gröbner] Démonstration (+reformulation) de la proposition d'élimination.	David A. Madore	2012-08-30	1	-16/+53
*	[Gröbner] Blabla général sur les algorithmes fondamentaux.	David A. Madore	2012-08-30	1	-7/+65
*	[Gröbner] Quelques remarques sur l'algorithme de Buchberger.	David A. Madore	2012-08-30	1	-2/+24
*	[Gröbner] Une petite proposition facile.	David A. Madore	2012-08-08	1	-0/+14
*	[Gröbner] Une remarque (qui répond en particulier à une question laissée ...	David A. Madore	2012-08-08	1	-7/+21
*	[Gröbner] Typo.	David A. Madore	2012-08-08	1	-6/+6
*	[Gröbner] Une question à résoudre.	David A. Madore	2012-07-18	1	-0/+7
*	[Gröbner] Un petit critère supplémentaire.	David A. Madore	2012-07-18	1	-0/+22
*	[Gröbner] Bases de Gröbner réduites : existence, algorithme de calcul, et...	David A. Madore	2012-07-18	1	-13/+71
*	[Gröbner] Démonstration de Spear-Schreyer.	David A. Madore	2012-07-18	1	-6/+31
*	[Gröbner] Petit changement de notations.	David A. Madore	2012-07-18	1	-16/+19
*	[Gröbner] Fin de la démonstration du critère de Buchberger.	David A. Madore	2012-07-18	1	-6/+10
*	[Gröbner] Correction de l'énoncé précédent, qui était faux (mais la dé...	David A. Madore	2012-07-18	1	-2/+4
*	[Gröbner] Relations entre monômes (démonstration).	David A. Madore	2012-07-18	1	-0/+33
*	[Gröbner] Énoncé plus précis sur les relations entre monômes.	David A. Madore	2012-07-18	1	-9/+21
*	[Gröbner] Ajout de la terminologie « monôme initial » (ou « multidegr...	David A. Madore	2012-07-18	1	-5/+19
*	[Gröbner] Petits remaniements et corrections.	David A. Madore	2012-07-18	1	-30/+34
*	[Gröbner] Démerdouillage de la démonstration du critère de Buchberger (en...	David A. Madore	2012-07-12	1	-24/+38
*	[Gröbner] Critère de Buchberger : suite de la démonstration (je m'embroui...	David A. Madore	2012-07-12	1	-2/+13
*	[Gröbner] Divers remaniements.	David A. Madore	2012-07-12	1	-29/+68
*	[Gröbner] Début de la preuve du critère de Buchberger.	David A. Madore	2012-07-12	1	-10/+40
*	[Gröbner] Algorithme de Buchberger : remaniements de présentation avant de...	David A. Madore	2012-07-12	1	-19/+32