Ban3

Informations sur l'auteur

Denis Bouhineau

http://www.noe-kaleidoscope.org/people/DenisB/

http://pistou.imag.fr/site/author/58

 
Équipe(s) :
MeTAH Du 01/01/1960 au 31/12/2006
MeTAH Du 01/01/2007 au 31/12/2099
 

Publications de l'auteur

La liste contient 43 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
2009
1
An Analysis of Interactive Learning Environments for Arithmetic and Algebra Through an Integrative Perspective.
International Journal of Computers for Mathematical Learning, 14 (3):299-331, 2009.
abstract ]
bibtex/ html
2008
2
Helping Teachers Generate Exercises with Random Coefficients.
International Journal of Continuing Engineering Education and Life-Long Learning, 18(5/6):520--533, jan 2008.
bibtex/ html
2005
3
Computer Assisted Assessment in Elementary Algebra.
Computer-Aided Assessment - Online, Nov:(11 pages), 2005. Note: reviewed article for online journal available : http://mathstore.ac.uk/articles/maths-caa-series/nov2005/.
Www-128x128abstract ]
bibtex/ html
2004
4
Mixing Microworld and Cas Features in Building Computer Systems that Help Students Learn Algebra.
International Journal of Computers for Mathematical Learning, 9 (2):169-211, 2004.
abstract ]
bibtex/ html
2002
5
A Microworld for Helping Students to Learn Algebra.
proceddings of ICTMT, 5, 2002.
bibtex/ html
2001
6
Un micromonde pour aider les élèves à apprendre l'algèbre.
Sciences et techniques éducatives, 8(1-2):33--47, 2001.
bibtex/ html
1999
7
An Application of CLP: Checking the Correctness of Theorems in Geometry.
Constraints, 4(4):383--405, 1999.
bibtex/ html
1996
8
Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver.
LECTURE NOTES IN COMPUTER SCIENCE, :274--288, 1996.
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2008
9
Natural Editing of Algebraic Expressions.
169:1-15, jun 2008. Note: version longue d une communication à MathUI workshop, Linz, Austria, June 2007.
bibtex/ html
2007
10
Adding new Representations of Mathematical Objects to Aplusix.
proceedings of the 8th International Conference on Technology in Mathematics Teaching. Hradec Kralove, Czech Republic, isbn 978-80-7041-285-5, :(5 pages), jul 2007.
bibtex/ html
11
Helping Teachers Generate Exercises with Random Coefficients.
proceedings of the 8th International Conference on Technology in Mathematics Teaching. Hradec Kralove, Czech Republic, isbn 978-80-7041-285-5, :(5 pages), jul 2007.
bibtex/ html
2006
12
Developing Interactive Learning Environments that can be used by all the classes having access to computers. The case of Aplusix for algebra.
The Seventeenth ICMI Study: Technology Revisited, Hanoi, :1-11, 2006.
Www-128x128abstract ]
bibtex/ html
2005
13
Student's modelling with a lattice of conceptions in the domain of linear equations and inequations.
Proceedings of the Usage analysis workshop of the AI-ED conference AI-ED, :(8 pages), Amsterdam Pays-Bas, 2005.
Www-128x128abstract ]
bibtex/ html
14
Two Years Of Use Of The Aplusix System.
Proceeding of the 8th IFIP World Conference on Computer in Education. 8th IFIP World Conference on Computer in Education, :(8 pages), Cape Town Afrique du Sud, 2005.
Www-128x128abstract ]
bibtex/ html
2004
15
APLUSIX, A learning environment for algebra, actual use and benefits.
Proceedings of ICME-10 ICME 10 : 10th International Congress on Mathematical Education, July 4-11, 2004, :8, Copenhagen Danemark, 2004.
Www-128x128abstract ]
bibtex/ html
2003
16
A computer program for the learning of algebra: description and first experiment.
Proceedings of the PEG 2003 conference, St. Petersburg, Russia, June 2003 PEG 2003 Conference, :7, St. Petersburg Russie, 2003.
Www-128x128
bibtex/ html
17
Usages didactiques du logiciel Aplusix pour l'enseignement de l'algebre.
Reims France, 2003.
Www-128x128abstract ]
bibtex/ html
18
Analyse statistique de comportements d'élèves en algèbre.
Environnements Informatiques pour l'Apprentissage Humain 2003, :67-78, Strasbourg France, 2003.
Www-128x128abstract ]
bibtex/ html
19
Formalismes pour une mémoire de formation à base d'annotations.
Environnements Informatiques pour l'Apprentissage Humain 2003, :43-54, Strasbourg France, 2003.
Www-128x128abstract ]
bibtex/ html
20
Proposition de carte organisationnelle : décrire le rôle d'un environnement informatique au sein d'un dispositif pédagogique.
Environnements Informatiques pour l'Apprentissage Humain 2003, :331-342, Strasbourg France, 2003.
Www-128x128abstract ]
bibtex/ html
2002
21
The Aplusix-Editor: A New Kind of Software for the Learning of Algebra.
Intelligent Tutoring Systems : 6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002. 6th International Conference on Intelligent Tutoring Systems, ITS 2002, :178-187, Lecture Notes in Computer Science, France, 2002.
Www-128x128abstract ]
bibtex/ html
22
Doing mathematics with the APLUSIX-Editor.
2002.
bibtex/ html
2001
23
Edix: A Software for Editing Algebraic Expressions..
Proceedings of ACTMT2001, the Sixth Asian Technology Conference in Mathematics. The University of Melbourne, dec 2001.
bibtex/ html
24
Syntax and semantics in algebra.
Proceedings of the 12th ICMI Study Conference. The University of Melbourne, 2001.
bibtex/ html
2000
25
Implantation de la couche algébrique à base de règles de réécriture dans le nouvel APLUSIX.
Journées apprentissage et calcul symbolique, Institut National de Recherche Pédagogique, isbn : 2-7342-0840-7, 2000.
bibtex/ html
26
Implementation of the algebraic layer of the new APLUSIX with rewriting rules.
Proceedings du worshop "Learning algebra with the computer" de ITS'2000 Université Québec, Montréal., 2000.
bibtex/ html
1999
27
Towards a product for teaching formal algebra.
Proceedings of the International Conference on Artificial Intelligence and Education (AI-ED) nternational Conference on Artificial Intelligence and Education (AI-ED), Le Mans, juillet 1999, :207-214, Le Mans France, 1999.
Www-128x128abstract ]
bibtex/ html
1996
28
La programmation logique par contraintes pour l'aide à l'enseignant.
Third International Conference on Intelligent Tutoring Systems ITS'96, Montréal-Canada. LNCS 1086. Third International Conference on Intelligent Tutoring Systems ITS'96, :333-342, Montréal Canada, 1996.
Www-128x128abstract ]
bibtex/ html
29
Sphinx : un préceptoriel de géométrie produisant des contre-exemples..
Third International Conference on Intelligent Tutoring Systems ITS'96, Montréal-Canada., 1996.
bibtex/ html
1995
30
Vers une approche déclarative pour les logiciels de dessins géométriques.
4e journée EIAO de l'ENS Cachan 4e journée EIAO de l'ENS Cachan, :55-66, Cachan France, 1995.
Www-128x128abstract ]
bibtex/ html
31
Verification of non-linear overconstraints in Euclidean geometry with linear programming.
proceedings of OverConstraints Systems, ISSN 0302-9743. Cassis 1995., 1995.
bibtex/ html
1993
32
Construction and manipulation of geometric figures.
fourth international workshop on Constraint and Logic Programming, WCLP'93, Marseille, mar 1993.
bibtex/ html
Scientific books and chapter [OS]
2006
33
Environnements Informatiques et Apprentissage Humain.
Collection IC2, Chapitre 15 : APLUSIX, un EIAH de l'algèbre, :333-350, Hermès-Lavoisier, 2006. Note: Grandbastien , Monique and Labat , Jean-Marc (Eds).
Exec-wine-128x128
bibtex/ html
National peer reviewed journal [ACLN]
2007
34
Description et exploitations des traces du logiciel d algèbre Aplusix.
Revue des Sciences et Technologies de l'Information et de la Communication pour l'Education et la Formation (STICEF), Vol 14:26 pages, 2007.
Www-128x128
bibtex/ html
National peer-reviewed conference proceedings [ACTN]
2011
35
Ajax pour EIAH ? Choix technologique pour un EIAH de l’algorithmique : EDBA.
Conférence Environnements Informatiques pour l'Apprentissage Humain, EIAH 2011, Mons, Belgique, may 2011. Note: isbn : 978 2 87325 061 4.
Pdf-128x128
bibtex/ html
36
Évaluations de solutions d’exercices d’algorithmique, « à la main » versus « automatiques par jeux d’essai ».
Conférence Environnements Informatiques pour l'Apprentissage Humain, EIAH 2011, Mons, Belgique, may 2011. Note: isbn : 978 2 87325 061 4.
bibtex/ html
2009
37
Analyse d'EIAH en arithmétique et en algèbre.
Actes de la conférence EIAH 2009, :(4 pages), 2009.
bibtex/ html
2007
38
Introduction de nouvelles représentations dans le micromonde Aplusix Représentations sous forme mixte Naturelle & Arbre et sous forme graphique d expressions algébriques.
Actes de la conférence EIAH2007, Environnements Informatiques pour l'apprentissage humain, Lausanne, 27-29 juin 2007 EIAH2007, Environnements Informatiques pour l'apprentissage humain, :12 pages, Lausanne Suisse, 2007.
Www-128x128
bibtex/ html
2005
39
Informaticiens et didacticiens peuvent-ils travailler ensemble ? Une étape du développement de l'EIAH APLUSIX : la mise en place de patrons d'exercices et d'une carte de tests..
122:1-15, 2005. Note: Version longue (15 pages) d'une communication (6 pages) acceptée aux journées {EIAH}'2005.
Www-128x128abstract ]
bibtex/ html
2003
40
Analyse didactique de protocoles obtenus dans un EIAH en algèbre.
Actes de la conférence EIAH 2003, Strasbourg, 15-17 avril Environnements Informatiques pour l'Apprentissage Humain, 15, 16 et 17 avril 2003, :79-90, Strasbourg France, 2003.
Www-128x128abstract ]
bibtex/ html
Doctoral Dissertations and Habilitations Theses [TH]
1997
41
Construction automatique de figures géometriques et programmation logique avec contraintes.
PhD Thesis, Université Joseph-Fourier - Grenoble I, 1997.
Www-128x128
bibtex/ html
Scientific popularization [OV]
2011
42
Une introduction à la science informatique: Pour les enseignants de la discipline informatique au lycée.
CNDP-CRDP Eds, 2011.
Www-128x128
bibtex/ html
Other Publications [AP]
2009
43
Graphical representations associated with algebraic tasks in Aplusix.
2009.
bibtex/ html