Search - Archive ouverte HAL Access content directly

Filter your results

17 Results
Deposit type : Fulltext
Image document

Verification of non-linear overconstraints in Euclidean geometry with linear programming

Denis Bouhineau
proceedings of OverConstraints Systems, ISSN 0302-9743. Cassis 1995., 1995, Cassis, France. 7 p
Conference papers hal-00962031v1
Image document

Beyond a Psychological Approach: the Psychology of Mathematics Education

Nicolas Balacheff
For the Learning of Mathematics, 1990, 10 (3), pp.2-8
Journal articles hal-02083312v1
Image document

Jean Kuntzmann ou les voyages extraordinaires au pays des mathématiques inconnues

Nicolas Balacheff , Claude Benzaken , Colette Laborde
Le Bulletin Vert, 1993, 387, pp.11-14
Journal articles hal-01139412v1
Image document

Étude et réalisation d'un système tuteur pour la construction de figures géométriques

Cyrille Desmoulins
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1994. Français. ⟨NNT : ⟩
Theses tel-00005086v1
Image document

Vers une approche déclarative pour les logiciels de dessins géométriques

Denis Bouhineau
4e journée EIAO de l'ENS Cachan, 1995, Cachan, France. pp.55-66
Conference papers hal-00190299v1
Image document

Processus de preuve et situations de validation

Nicolas Balacheff
Educational Studies in Mathematics, 1987
Journal articles hal-01619264v1
Image document

Contribution de la didactique et de l'épistémologie aux recherches en EIAO

Nicolas Balacheff
XIII Journées francophones sur l'informatique, Jul 1991, Genève, France. pp.9-38
Conference papers hal-01027408v1
Image document

Recent Trends of Electronic Dictionary Research and Development in Europe

Gilles Sérasset
1994
Other publications hal-00340754v1
Image document

Construction and manipulation of geometric figures

R. Allen , Denis Bouhineau , Laurent Trilling
fourth international workshop on Constraint and Logic Programming, WCLP'93, Marseille, 1993, Marseille, France. 3 p
Conference papers hal-00962032v1
Image document

Analyse de conceptions d'éleveurs concernant des pratiques sanitaires

Patricia Marzin-Janvier
Didaskalia (Paris), 1994, 4, pp.39-55. ⟨10.4267/2042/23362⟩
Journal articles hal-01234655v1
Image document

Treatment of refutations: aspects of the complexity of a constructivist approach to mathematics learning

Nicolas Balacheff
Ernst von Glasersfeld. Radical Constructivism in Mathematics Education, Kluwer Academic Publishers, pp.89-110, 1991
Book sections hal-01695305v1
Image document

L'élevage, le conseil, et l'écopathologie. Résultats d'une approche didactique de situations de diagnostic d'élevage en production porcine

Pierre Sabatier , J Forestier , Patricia Marzin-Janvier
Veterinary Research, 1994, 25 (2-3), pp.290-299
Journal articles hal-00902213v1
Image document

Une approche pour la maintenance et la ré-ingénierie globale des logiciels

Jean-Marie Favre
Système d'exploitation [cs.OS]. Université Joseph-Fourier - Grenoble I, 1995. Français. ⟨NNT : ⟩
Theses tel-00724676v1
Image document

Conception, connaissance et concept

Nicolas Balacheff
Séminaire de l'équipe DidaTech, IMAG, 1995, Grenoble, France. pp.219-244
Conference papers hal-01072247v1
Image document

Benefits and limits of social interaction: The case of mathematical proof

N Balacheff
Alan J. Bishop; Stieg Mellin-Olsen; Joop Dormolen van. Mathematical Knowledge: Its Growth Through Teaching, 10, Kluwer Academic Publishers, pp.175-192, 1991, Mathematics education library
Book sections hal-01550051v1
Image document

Le contrat et la coutume : deux registres des interactions didactiques

N Balacheff
Premier colloque franco-allemand de didactique des mathématiques et de l'informatique, Nov 1986, Luminy, France. pp.15-26
Conference papers hal-01286492v1
Image document

TRANSPOSITION DU CONCEPT D'HETEROSIS DU MAIS AUX PROFESSIONNELS AGRICOLES Analyse lexicale et phrasique

Patricia Marzin-Janvier
Aster, 1990, 11, pp.175-194
Journal articles hal-01234646v1