A. Ait-aoudia, S. Jegou, R. Michelucci, and D. , Reduction of constraint systems, Proceedings of the Compugraphic Conference, pp.83-92, 1993.
URL : https://hal.archives-ouvertes.fr/hal-00848677

A. Allen, R. Channac, S. Trilling, and L. , Parallels between Constructing Dynamic Figures and Constructing Computer Programs, Journal of Computer in Mathematics and Science Teaching, 1998.

A. Allen, R. Idt-paumier, J. Trilling, and L. , Constraint Based A utomatic Construction and Manipulation of Geometric Figures, Proceedings of the XIII i ere International Joint Conference on Artiicial Intelligence, pp.453-458, 1993.

A. Aldefeld and B. , Variation of geometries based o n a g e ometric-reasoning method, Computer-Aided Design, vol.203, pp.117-126, 1988.

A. Allen, R. Nicolas, P. Trilling, and L. , Figure Correctness in an Expert System for Teaching Geometry, Proceedings of the 8 th Biennal Conference of the Canadian Society for Computational Studies of Intelligence, pp.154-160, 1990.

B. Baulac and Y. , Un micro-monde de g eom etrie -Cabri-G eom etre, Th ese de Doctorat de l, 1990.

B. Beringer, H. Et-de-backer, and B. , Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers, Beierle C et Pl umer L Eds, Logic Programming : Formal Methods and Practical Applications chapter, 1995.

B. Bellemain and F. , Conception, r ealisation et exp erimentation d'un logiciel d'aide a l'enseignement de la g eom etrie : Cabri-G eom etre, 1992.

B. Benhamou and F. , Heterogeneous constraint solving, Proceedings of the 5 th International Conference Algebraic and Logic Programming, 1996.
DOI : 10.1007/3-540-61735-3_4

B. Bernat and P. , Conception et r ealisation d'un environnement interactif d'aide a l a r esolution de probl emes, Chypre : un exemple pour l'enseignement de la g eom etrie, Th ese de Doctorat de l, 1994.

B. Bouma, W. Fudos, I. Hoffmann, C. Cai, J. Paige et al., Geometric constraint solver, Computer-Aided Design, vol.27, issue.6, pp.487-501, 1995.
DOI : 10.1016/0010-4485(94)00013-4

B. Benhamou, F. Granvillier, and L. , Combining local consistency, symbolic rewriting and interval methods, Proceedings of the International Conference in Artiicial Intelligence and Symbolic Mathematical Computation, pp.144-159, 1996.
DOI : 10.1007/3-540-61732-9_55

B. Balacheff, N. Soury-lavergne, and S. , Explication et Pr eceptorat, a p r opos d'une etude de cas dans T el eCabri, 1996.

B. Benhamou, F. Older, and W. , Applying interval arithmetic to real, integer, and boolean constraints, The Journal of Logic Programming, vol.32, issue.1, pp.1-24, 1997.
DOI : 10.1016/S0743-1066(96)00142-2
URL : http://doi.org/10.1016/s0743-1066(96)00142-2

B. Bonnet and J. , T emoignage : j'ai rencontr e des Cabri-el eves, Universit e d ' et e, Apprentissage et enseignement d e l a g eom etrie avec ordinateur : Utilisation du logiciel Cabri-G eom etre en classe, p.2, 1993.

C. Capponi and B. , Utilisation du logiciel Cabri-G eom etre en classe, Actes de l'Universit e d ' et e Apprentissage et enseignement d e l a g eom etrie avec ordinateur : Utilisation du logiciel Cabri-G eom etre en classe, pp.49-59, 1993.

C. Carrega and J. , Th eorie des corps, la r egle et le compas, 1989.

C. Channac, S. Bouhineau, and D. , La p r ogrammation logique par contraintes pour l'aide a l'enseignant, Proceedings of the 3 rd International Conference on Intelligent T utoring Systems, pp.333-342, 1996.

C. Collavizza, H. Delobel, F. Rueher, and M. , A Note on Partial Consistencies over Continuous Domains, Proceedings of the 4 th International Conference on Principles and Practice of Contraint Programming, pp.147-161, 1998.
DOI : 10.1007/3-540-49481-2_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.29

C. Cuoco, A. Goldenberg, and E. , Dynamic Geometry as a Bridge from Euclidean Geometry to Analysis, Geometry Turned On, Dynamic software in learning, teaching, and research c hapter, pp.33-47, 1995.

C. Cuoco, A. Goldenberg, and E. , What is Dynamic Geometry?, Designing Learning Environments for Developing Understanding of Geometry and Space chapter, 1996.

C. Chou, S. Gao, X. Zhang, and J. , Automated Generation of Construction Steps for Geometric Constraint Problems, Automated Reasoning and Its Applications : Essays in Honor of Larry Wos chapter, 1997.

C. Channac and S. , Techniques d'Intelligence A rtiicielle pour l'Execution de Programmes Logiques G eom etriques, Actes des II i eme Journ ees Infographie Interactive e t I n telligence Artiicielle, pp.187-212, 1996.

C. Channac and S. , Sur la g en eration d'exemples et de contre-exemples g eom etriques dans un pr eceptoriel, Actes des V i eme Journ ees Environnements Interactifs d'Apprentissage avec Ordinateur, pp.109-120, 1997.

C. Coste, P. Idt-paumier, and J. , Aide a l a c onstruction d'une gure g eom etrique donn ee par sa sp eciication, 1997.

C. Chiu, C. Lee, and J. , Towards Practical Interval Constraint Solving in Logic Programming, Proceedings of the International Logic Programming Symposium, pp.109-123, 1994.

C. Clancey and W. , Heuristic classification, Artificial Intelligence, vol.27, issue.3, pp.289-350, 1985.
DOI : 10.1016/0004-3702(85)90016-5

C. Cleary and J. , Logical Arithmetic, Future Computing Systems, vol.22, pp.125-149, 1987.

C. Colmerauer and A. , An Introduction to PrologIII, In Communication of the ACM, vol.337, pp.69-90, 1990.

C. Colmerauer and A. , Naive Solving of Non-linear Constraints, Benhamou F et Colmerauer A Eds, Constraint Logic Programming : Selected Research c hapter, 1993.

C. Coste and P. , Acquisition automatique de gures g eom etriques dynamiques r ecursives, 1997.

C. Coutaz and J. , Interface homme-ordinateur : Conception et R ealisation, 1990.

C. Coutaz and J. , Interface Homme-Machine : un regard critique, Technique et science informatiques, pp.53-64, 1991.

C. Cuppens and R. , Faire de la g eom etrie en jouant avec Cabri-G eom etre, A.P.M.E.P, 1996.

C. Czapor and S. , Solving algebraic equations: Combining Buchberger's algorithm with multivariate factorization, Journal of Symbolic Computation, vol.7, issue.1, pp.49-53, 1989.
DOI : 10.1016/S0747-7171(89)80005-7

D. Davis and E. , Constraint Propogation with Interval Labels, Artiicial Intelligence, vol.323, pp.281-331, 1987.

D. Desmoulins and C. , Etude et r ealisation d'un syst eme tuteur pour la construction de gures g eom etriques, 1994.

D. Desmoulins and C. , La d etection de solutions particuli eres dans TALC : une approche logique bas ee sur des extensions de l' enonc e d u p r obl eme, Actes des IV i eme Journ ees Environnements Interactifs d'Apprentissage avec Ordinateur, pp.161-172, 1995.

D. Dufourd, J. Mathis, P. Schreck, and P. , Constructions g eom etriques sous contraintes par assemblage de gures r esolues, 1996.

E. Evertsz and R. , The Generation of 'Critical Problems' By Abstract Interpretations of Student Models, Proceedings of the International Joint Conference on Artiicial Intelligence, pp.483-488, 1989.

F. Franklin, S. Graesser, and A. , Is it an Agent, or Just a Progra m ? : A T axonomy for Autonomous Agents, Proceedings of the European Conference on Artiicial Intelligence Workshop on Agent Theories, Architectures and Languages, pp.21-35, 1996.

F. Foley, J. Van-dam, A. Feiner, S. Hughes, and J. , Computer Graphics, Principles and Practice, The Systems Programming Series, 1990.

G. Garcia and C. , Conception et r ealisation d'une interface homme ordinateur interactive pour la construction et l'animation de gures g eom etriques, M emoire d, 1995.

G. Gao, X. Chou, and S. , Solving geometric constraint systems. I. A global propagation approach, Computer-Aided Design, vol.30, issue.1, pp.47-54, 1998.
DOI : 10.1016/S0010-4485(97)00052-3

G. Gao, X. Chou, and S. , Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility, Computer-Aided Design, vol.30, issue.2, pp.115-122, 1998.
DOI : 10.1016/S0010-4485(97)00055-9

H. Hower, W. Graf, and W. , Research in Constraint-Based L ayout, Visualization , CAD, and Related T opics : A Bibliographical Survey, Proceedings of the International Workshop on Constraints for Graphics and Visualization, pp.3-25, 1995.

H. Hollman, J. Langemyr, and L. , Algorithms for Non-linear Algebraic Constraints, Benhamou F et Colmerauer A Eds, Constraint Logic Programming, 1993.

H. Heydon, A. Nelson, and G. , The Juno-2 Constraint-Based D r awing Editor, Digital Systems Research Center, 1994.

H. Hong and H. , Connuency of Cooperative Constraint Solvers, Research Institute for Symbolic Computation, 1994.

P. Van-hentenryck, V. Saraswat, and Y. Deville, Design, Implementations and Evaluation of the Constraint Language ccFD, 1993.

J. Jackiw and R. , Drawing Worlds : Scripted Exploration Environments in The Geometer's Sketchpad, Geometry Turned On, Dynamic software in learning, teaching , and research c hapter, pp.179-185, 1995.

K. Keyton and M. , Students Discovering Geometry Using Dynamic Geometry Software , Geometry Turned On, Dynamic software in learning, teaching, and research c hapter, pp.63-68, 1995.

K. Kirchner, H. Et-ringeissen, and C. , Combining Symbolic Constraint Solvers on Algebraic Domains, Journal of Symbolic Computation, vol.18, issue.2, pp.113-155, 1994.
DOI : 10.1006/jsco.1994.1040
URL : http://doi.org/10.1006/jsco.1994.1040

K. Kramer and G. , A geometric constraint engine, Artificial Intelligence, vol.58, issue.1-3, pp.327-360, 1992.
DOI : 10.1016/0004-3702(92)90012-M

K. Kramer and G. , Solving Geometric Constraint Systems : A Case Study in Kinematic Apprendre a voir et manier l'objet g eom etrique au del a d u t r ac e dans Cabri-G eom etree, Actes de l'Universit e d ' et e Apprentissage et enseignement d e l a g eom etrie avec ordinateur : Utilisation du logiciel Cabri-G eom etre en classe, Artiicial Intelligence, pp.87-101, 1992.

L. Laborde and J. , Des connaissances abstraites aux r ealit es artiicielles, le concept de micromonde Cabri, pp.29-41, 1995.

L. Lucas, M. Desmontils, and E. , Les modeleurs d eclaratifs, Revue internationale de CFAO et d'informatique graphique, pp.559-585, 1995.

L. Lhomme, O. Gotlieb, A. Rueher, M. Taillibert, and P. , Boosting the Interval Narrowing Algorithme, Proceedings of the Joint I n ternational Conference and Symposium on Logic Programming, pp.378-392, 1996.

L. Lhomme and O. , Consistency Techniques for Numeric CSPs, Proceedings of the XIII i ere International Joint Conference on Artiicial Intelligence, pp.232-238, 1993.

L. Lamure, H. Michelucci, and D. , R esolution de contraintes g eom etriques par homotopie, Actes des II i eme Journ ees de l'Association Fran caise d'Informatique Graphique, pp.95-104, 1994.

L. Lhomme, O. Rueher, and M. , Application des techniques CSP au raisonnement sur les intervalles, Revue d'intelligence artiicielle, pp.283-311, 1997.

L. Luengo and V. , Un micromonde de preuve int egrant la r efutation : Cabri-Euclide, Actes des V i eme Journ ees Environnements Interactifs d'Apprentissage avec Ordinateur, pp.85-97, 1997.

M. Mackworth and A. , Consistency in networks of relations, Consistency in Networks of Relations, pp.99-118, 1992.
DOI : 10.1016/0004-3702(77)90007-8

M. Mathis and P. , Constructions G eom etriques sous Contraintes en Mod elisation a base Topologique, 1997.

M. Maloney, J. Borning, A. Freeman-benson, and B. , Constraint Technology for User-Interface Construction in ThingLab II, 1989.

M. Monfroy and E. , Collaboration de Solveurs pour la Programmation Logique a Contraintes, 1996.

M. Marti, P. Rueher, and M. , A Distributed C o operating Constraints Solving System, International Journal on Artiicial Intelligence Tools, pp.41-43, 1995.

M. Monfroy, E. , R. , M. Schott, and R. , Implementing non-linear constraints with cooperative solvers, Proceedings of the 1996 ACM symposium on Applied Computing , SAC '96, pp.63-72, 1996.
DOI : 10.1145/331119.331147
URL : https://hal.archives-ouvertes.fr/inria-00073945

M. Marriott, K. Stuckey, and P. , Programming with Constraints : An Introduction, 1998.

N. Nanard and J. , La manipulation directe en interface homme-machine, Th ese d' etat, 1990.

N. Nebon and F. , Inf erence A utomatique de Sp eciications Logiques a p artir de dessins , M emoire d'ing enieur du Conservatoire National des Arts et M etiers, 1996.

N. Nicolas and P. , Construction et v eriication de gures g eom etriques dans le syst eme MENTONIEZH, Th ese de Doctorat de l, 1989.

N. Nguyen-xuan, A. Joly, F. Nicaud, J. , G. et al., Une m ethode de diagnostic des connaissances en alg ebre p our un module de mod elisation de l' el eve, Actes des III i emes Journ ees Journ ees Environnements Interactifs d'Apprentissage avec Ordinateur, pp.217-228, 1993.

N. Nelson, G. Oppen, and D. , Simpliication by Cooperating Decision Procedures, ACM Transactions on Programming Languages and Systems, vol.12, pp.245-257, 1979.
DOI : 10.1145/357073.357079
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.2828

N. Noel, C. Py, and D. Evrier, Diagnostic des erreurs de l' el eve bas e sur le contexte, Actes des III i eme Journ ees Environnements Interactifs d'Apprentissage avec Ordinateur, pp.229-240, 1993.

O. Older and W. , Application of Relational Interval Arithmetic to Ordinary Differential Equations, Bell Northern Research, 1994.

O. Ostier and P. , A Complete Deduction System for Reasoning with Temporary Assumptions, Proceedings of the International Workshop First Order Theorem Proving, RISC-Linz Report Series, 1997.

O. Ostier and P. , Hypotheses Domains System : un syst eme d'inf erence p our la construction de preuves naturelles et la production d'hypoth eses, Th ese de Doctorat de l, 1997.

O. Older, W. Vellino, and A. , Extending Prolog with Constraint Arithmetic on Real Intervals, Proceedings of the Canadian Conference on Electrical and Computer Engineering, 1990.

O. Owen and J. , Algebraic solution for geometry from dimensional constraints, Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications , SMA '91, pp.397-407, 1991.
DOI : 10.1145/112515.112573

P. Pesant, G. Boyer, and M. , Quad-CLPR :A dding the power of quadratic constraints, Proceedings of the Second Principles and Pratice of Constraint Programming Workshop, 1994.

P. Petzold, C. Yao, and P. , Programmer sous Windows 95, 1996.

P. Pesant and G. , Une approche g eom etrique aux contraintes arithm etiques quadratiques en programmation logique avec c ontraintes, 1995.

Q. Qasem and S. , Conception et R ealisation d'une interface 3D pour Cabri- G eom etre, Th ese de Doctorat de l, 1997.

S. Sapossnek and M. , Research on Contraint-Based Design Systems, 1991.

S. Schreck and P. , Automatisation des constructions g eom etriques a l a r egle et au compas, 1993.

S. Schreck and P. , Mod elisation et implantation d'un syst eme a b ase de connaissances pour les constructions g eom etriques, Revue d'intelligence artiicielle, pp.223-247, 1994.

S. Schumann, H. Green, and D. , Discovering Geometry with a Computer -using Cabri-G eom etre, Chartwell-Bratt, 1994.

S. Schumann, H. Green, and D. , Producing and Using Loci with Dynamic Geometry Software, Geometry Turned On, Dynamic software in learning, teaching, and research c hapter, pp.79-87, 1995.

S. Shapiro and E. , The Family of Concurrent Logic Programming Languages, ACM Computing Surveys, vol.213, pp.413-510, 1989.

S. Shneiderman and B. , Direct Manipulation: A Step Beyond Programming Languages, Computer, vol.16, issue.8, pp.57-69, 1983.
DOI : 10.1109/MC.1983.1654471
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.5944

S. Shoham and Y. , Agent-oriented p r ogramming, Artiicial Intelligence, vol.601, pp.51-92, 1993.

S. Smolka and G. , The Oz Programming Model, Proceedings of the International Conference on Computer Science Today, 1996.
DOI : 10.1007/978-3-642-60858-2_23

T. Trilling and L. , Programmation g eom etrique imp erative et logique, pp.147-164, 1996.

W. Williams and G. , The Lisa Computer System, Byte, pp.33-50, 1983.

W. Williams and G. , The Apple Macintosh Computer, Byte, pp.30-54, 1984.

W. Wooldridge, M. Jennings, and N. , Intelligent agents: theory and practice, The Knowledge Engineering Review, vol.10, issue.02, 1995.
DOI : 10.1017/S0269888900008122
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.2204

W. Wu and W. , Mechanical Theorem Proving in Geometries, 1994.
DOI : 10.1007/978-3-7091-6639-0