Issue no. 4 Table of Contents

Groupe de travail de calcul formel

List of lectures

Sur le calcul des racines des polynômes

Dedieu, Jean-Pierre

p. 1-14
La règle de Newton et les théorèmes de Sylvester

Yakoubsohn, Jean-Claude

p. 15-45
Spécialisation de la suite de Sturm et sous-résultants

Gonzalez, Laureano; Lombardi, Henri; Recio, Tomas; Roy, Marie-Françoise

p. 47-101
Sur la complexité du principe de Tarski-Seidenberg

Heintz, Joos; Roy, Marie-Françoise; Solerno, Pablo

p. 103-120
Une inégalité de Lojasiewicz effective

Solerno, Pablo

p. 121-131
An Introduction to the Tangent Cone Algorithm

Mora, Teo; Pfister, Gerhard; Traverso, Carlo

p. 133-171
La Queste del Saint GR a (AL): a Computational Approach to Local Algebra

Mora, Teo

p. 173-201
Lambda-Upsilon-Omega : an Assistant Algorithms Analyzer

Flajolet, Philippe; Salvy, Bruno; Zimmermann, Paul

p. 203-216
Enlacements et tresses fermées Traitement algorithmique

Jacquemard, Alain

p. 217-238
Théorie des nœuds et calcul formel

Rolin, Jean-Philippe

p. 239-260

Issue no. S6 Table of Contents

Vème école d'été de didactique des mathématiques et de l'informatique

List of lectures

L'enseignement de la géométrie en tant que terrain d'exploration de phénomènes didactiques

Laborde, Colette

p. 9-11
À la recherche de phénomènes didactiques dans l'enseignement de la géométrie

Berthelot, René; Salin, M. H.

p. 12-16
Méthodes pour la conception d'un apprentissage du sens des graphismes techniques

Bessot, Annie; Eberhard, Madeleine

p. 17-20
Le contrat didactique comme outil d'analyse des phases de dévolution et de bilan

Grenier, Denise

p. 21-26
Les recherches actuelles sur l'apprentissage de la démonstration et les phénomènes de validation en France

Arsac, Gilbert

p. 27-30
Rationalité scientifique et rationalité quotidienne face au problème de la preuve en mathématiques

Legrand, Marc

p. 31-35
Initialisation dans la classe de mathématiques de la distinction entre différents types de rationalité

Legrand, Marc

p. 36-38
Problématiques de recherche sur l'apprentissage de la démonstration et les phénomènes de validation

Arsac, Gilbert

p. 39-42
La validation en programmation : à propos de conceptions des étudiants

Dagdilelis, Vassilios

p. 43-46
La théorie des champs conceptuels

Vergnaud, Gérard

p. 47-50
Situations évoquées, situations jouées et structures mathématiques

Conne, François; Guiet, Jeanne

p. 51-57
Le champ conceptuel, outil d'analyse pour l'introduction de l'algèbre

Cortes, Anibal; Kavafian, Nelly; Vergnaud, Gérard

p. 58-63
Les rapports entre langage et pensée dans le processus de résolution de problème

Vergnaud, Gérard; Morange, Danielle

p. 64-67
Influence de l'informatique sur le savoir enseigné en mathématiques

Gallou-Dumiel, Elisabeth

p. 68-71
Influence de l'informatique sur le savoir enseigné en mathématiques : le cas des équations différentielles

Artigue, Michèle

p. 72-75
Spécificités de Cabri-géomètre pour les problèmes de constructions en géométrie

Bellemain, Franck; Tahri, Salima

p. 76-79
Le micro-ordinateur, outil de révélation et d'analyse du raisonnement déductif de l'élève

Fontaine, Marie-Danielle; Gras, Régis; Larher, Annie

p. 80-84
Registres mis en jeu par la notion de fonction

Guzman Retamal, Ismenia

p. 85-86
Didactique de l'informatique et acquisition de la programmation

Rogalski, Janine

p. 87-93
Le contrat didactique et le concept de milieu

Brousseau, Guy

p. 95-101
La dévolution du raisonnement logique, problème d'ingénierie. Un exemple de rupture de contrat

Orus-Baguena, Pilar

p. 102-105
La mémoire du milieu didactique

Centeno-Perez, Julia

p. 106-111
Analyse d'un contrat didactique

Fregona, Dilma; El Bouazzaoui, Habiba

p. 112-115
Forum des problèmes

Milhaud, Nadine

p. 116-119
Approches cliniques, contre-transfert et analyse didactique

Blanchard-Laville, Claudine; Brousseau, Guy; Chevallard, Yves; Mercier, Alain; Perrin, Marie-Jeanne; Schubauer-Leoni, Maria-Luisa

p. 120-123
Ingénierie didactique

Artigue, Michèle

p. 124-128
L'ingénierie didactique comme outil de formation en didactique

Douady, Régine

p. 129-130
Ingénierie didactique d'un point de vue méthodologique : étude d'une recherche sur l'enseignement de l'algèbre linéaire

Artigue, Michèle; Dorier, Jean-Luc

p. 131-139
Ingénierie didactique du point de vue des genèses artificielles

Parzysz, Bernard; Boudarel, Jean

p. 140-144