|
|
Aczel J. C., Fung P., Bornat R., Oliver M., O'Shea
T., Sufrin B. (1999) "Using computers to learn logic: undergraduates'
experiences" in Cumming, G., Okamoto, T. & Gomez, L. (eds.) Advanced
Research in Computers and Communications in Education: Proceedings of the
7th International Conference on Computers in Education, Amsterdam, IOS
Press |
|
|
Aczel J. C., Fung P., Bornat R., Oliver M., O'Shea
T., Sufrin B. (1999) "Influences of Software Design on Formal Reasoning",
in Brewster, S., Cawsey, A. & Cockton, G. (Eds.) Proceedings of IFIP
TC.13 International Conference on Human-Computer Interaction INTERACT '99,
Vol. 2, pp. 3-4, Swindon, UK, British Computer Society, ISBN 1-902505-19-0 |
|
|
Aczel J. C., Oliver M., Fung P. (1999) "Progressive
Refinement of Formal Reasoning Strategies using Software for Learning Logic",
Proceedings of the 20th anniversary conference of the Computers and Learning
Research Group, The Open University, June 1999 |
|
|
Aczel J. C., Fung P. (1999) "Evaluation
of a software tool for supporting formal reasoning", Proceedings
of the day conference of the Student Research Centre, Feb 1999, Institute
of Educational Technology |
|
|
Aczel J. C., Fung P., Bornat R., Oliver M., O'Shea
T., Sufrin B. (1999) "Undergraduates' Computer-Assisted Formal
Reasoning", Presentation to the day conference of the British Society
for Research into Learning Mathematics, Feb 1999 |
|
|
Aczel J. C., Fung P., Bornat R., Oliver M., O'Shea
T., Sufrin B. (1999) "Computer Science Undergraduates Learning
Logic Using a Proof Editor: Work in Progress", Proceedings of the
Psychology of Programming Interest Group, University of Leeds |
|
|
Aczel J. C. (2000) The Evaluation of a Computer
Program for Learning Logic: The Role of Students' Formal Reasoning Strategies
in Visualising Proofs. CALRG Technical report 192. Computers and Learning
Research Group, Institute of Educational Technology, The Open University,
Milton Keynes, UK |
|
|
Adnan Baki (2005)
Archimedes with Cabri: visualization and experimental verification of mathematical ideas. International Journal of Computers for Mathematical Learning 10 (3) 259-270 |
|
|
Allen C., Hand M.
(eds.) (2001) Logic primer. Cambridge, MA : The MIT Press,
Bradford Books |
|
|
Alliot J.-M., Schiex T. (1994) Intelligence
artificielle et informatique theorique. Toulouse : Cepadues. |
|
|
Anlauff M., Jähnichen S. , Simons
M. (1994) A support system for formal mathematical reasoning. In:
Naftalin M., Denvir T. , Bertran M. (eds) FME'94: Industrial Benefits
of Formal Methods (pp.421-440). Berlin: Springer-Verlag. |
|
|
Belleannée
C., Nicolas J., Vorc'h R. (1999) Vers un démonstrateur
adaptatif. J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve
à la lumière de l'intelligence artificielle. (Nouvelle
Encyclopédie Diderot). Paris : PUF, pp.159-196 |
|
|
Bornat R., Sufrin B.A. (1999) "Animating
formal proof at the surface: the Jape proof calculator", The Computer
Journal, 43(3), 177-192 |
|
|
Borwein
J. M. (2005) The experimental mathematician: the pleasure
of discovery and the role of proof. International Journal of Computers
for mathematical learning. 10 (2) 75-108 |
|
|
Bruckheimer M., Arcavi A. (2001) A Herrick among
mathematicians or dynamic geometry as an aid to proof. International
Journal of Computers for Mathematical Learning 6 (1) 113-126. |
|
|
Bundy A., Moore J.D., Zinn C. (2000) An Intelligent
Tutoring System for Induction Proofs Abridged Project Description, E. Melis
(ed.) Deduction Systems for Mathematics Education, Proceedings
of a Workshop at CADE-17, pp. 4-13 |
|
|
Alan
Bundy (1983) The
Computer Modelling of Mathematical Reasoning. London et al.: Academic
Press. |
|
|
Burstall R. (1991) Computer Assisted Proof for
Mathematics: an Introduction using the LEGO Proof System. LFCS report.
ECS-LFCS-91-132 |
|
|
Caferra R., Zabel N. (1992) A method
for simultaneous search for refutations and models by equational constraint
solving. Journal of Symbolic Computation 13, 613-641. |
|
|
Caferra R., Herment M. (1995) A generic graphic framework
for combining inference tools and editing proofs and formulae. Journal
of symbolic computation 19, 217-243. |
|
|
Caferra R., Peltier N., Puitg F. (2000) Emphasizing
human technics in geometry automated theorem proving: a practical realization.
In: Proceedings of the Third International Workshop on Automated Deduction
in Geometry. Zurich, Switzerland, September 25-27, 2000. |
|
|
Carr
C. (2001) Computer-supported
collaborative argumentation : supported problem-based learning in legal
education. In : Dillenbourg P., Eurelings A., Hakkarainen K. (eds.) European
perspectives on computer-supported collaborative learning (pp.148-155).
Maastricht McLuhan Institute. |
|
|
Croy J. M. (1999) Graphic interface design and
deductive proof construction. Journal of computers in Mathematics and
Science Teaching. 18(4) 371-385. |
|
|
Curien
R. (1999) Preuves
de la déduction automatique et analogie. J. Sallantin, J. Szczeciniarz
(eds.) Le concept de preuve à la lumière de l'intelligence
artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.237-254 |
|
|
Dahn B. I. (2000) Knowledge Management in the
TRIAL-SOLUTION Project (First Considerations), E. Melis (ed.) Deduction
Systems for Mathematics Education, Proceedings of a Workshop at CADE-17,
pp. 14-19 |
|
|
De Costaz N., C. A.,
Béziau J.-Y. (1999) La logique paraconsistante. J. Sallantin,
J. Szczeciniarz (eds.) Le concept de preuve à la lumière
de l'intelligence artificielle. (Nouvelle Encyclopédie Diderot).
Paris : PUF, pp.107-116 |
|
|
Despeyroux J. (1988) THEO: an interactive
proof development system. Rapport de Recherche 887. Le Chesnay: INRIA
(disponible médiathèque IMAG). |
|
|
De Villiers M. (2006) Recycling cyclic polygons dynamically Mathematics in School Vol. 35 (3) |
|
|
Dosen
K. (1999) Le programme de Hilbert. J. Sallantin, J. Szczeciniarz
(eds.) Le concept de preuve à la lumière de l'intelligence
artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.
87-106 |
|
|
Erkens
G., Jaspers J., Tabachneck-Schijf H. (2001) Computer-supported
collaboration in argumentative writing. In : Dillenbourg P., Eurelings A.,
Hakkarainen K. (eds.) European perspectives on computer-supported collaborative
learning (pp.205-212) Maastricht McLuhan Institute. |
|
|
Farmer M. W. (2000) A Proposal for the Development
ofan Interactive Mathematics Laboratory for Mathematics Education, E. Melis
(ed.) Deduction Systems for Mathematics Education, Proceedings
of a Workshop at CADE-17, pp. 20-25 |
|
|
Farreny H., Ghallab M. (1987) Elements
d'intelligence artificielle. Paris: Hermes, 1987. |
|
|
Fiedler A. (1999) Using a Cognitive Architecture
to Plan Dialogs for the Adaptive Explanation of Proofs. In: Proceedings
of the 16th International Joint Conference on Artificial Intelligence (IJCAI,
pp. 358--363). Morgan Kaufmann. |
|
|
Fiedler A. (2000) Determining and Structuring
the Content of Presentations of Proofs in Natural Language, E. Melis (ed.)
Deduction Systems for Mathematics Education, Proceedings of a Workshop
at CADE-17, pp. 44-51 |
|
|
Gardin J.-C.,
Renaud M., Lagrange M.-S. (1999) Le raisonnement historique à
l'épreuve de l'IA. J. Sallantin, J. Szczeciniarz (eds.) Le concept
de preuve à la lumière de l'intelligence artificielle.
(Nouvelle Encyclopédie Diderot). Paris : PUF, pp.351-370 |
|
|
Gigerenzer G., Selten R.
(eds.) (2001) Bounded rationality. Cambridge, MA : The MIT Press,
Bradford Books |
|
|
Gödel K. et al. (1931) Le théorème
de Gödel, (traduction de l'anglais et de l'allemand par J.B. Scherer).
Editions du Seuil (Collection Sources du Savoir), Paris, 1989, 185 pages. |
|
|
Guin D., Groupe IREM IA (1989) Réflexions sur les logiciels
d'aide à la démonstration en géométrie. Annales
de Didactique et de Sciences Cognitives (IREM de Strasbourg) 2, 89-109. |
|
|
Guin D. (1996) A cognitive analysis of geometry
proof focused on intelligent tutoring systems. In: Jean-Marie Laborde (ed.)
Intelligent Learning Environments : the case of geometry (pp.82-93).
Berlin: Springer Verlag. |
|
|
Haton J.-P., Bouzid N., Charpillet
C., Haton M.-C.(1991) Le Raisonnement en intelligence artificielle
: modeles, techniques et architectures pour les systemes a bases de .connaissances.
Paris : InterEditions. |
|
|
Hendry H. E., Hart A. M. (1984) On the
semantic status of mathematical truth. The mathematical intelligencer
6(3) 50-52 & 60. |
|
|
Hewitt D. (2002)
La arbitrario y lo necessario: educación de la consciencia. Revista
EMA 7(3) 310-343 |
|
|
Imbert
C. (1999) De la connaissance au calcul : implications
épistémologiques du cognitivisme. J. Sallantin, J. Szczeciniarz
(eds.) Le concept de preuve à la lumière de l'intelligence
artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.29-58 |
|
|
Kortenkamp U. (1999) Foundations of Dynamic
Geometry. Swiss Federal Institute of Technology. Zurich |
|
|
Kuntz G. (1996) De l'intelligence artificielle
aux fiches-méthodes. in : L'enseignement des mathématiques
: des repères entre savoirs, programmes et pratiques (pp.55-68).
Pont-à-Mousson : Topiques éditions |
|
|
Lanford III O. E. (1986) Computer assisted proofs in analysis.
International Congress of Mathematicians. RR IHES/P/87/16 Bures sur
Yvettes. |
|
|
Lauriere J.-L. (1986) Intelligence artificielle
: resolution de problemes par l'homme et la machine. Paris : Eyrolles. |
|
|
Leung A., Lopez-Real F.
(2002) Theorem, Justification and acquisition in dynamic geometry:
a case of proof by contradiction. International Journal of Computers
for Mathematical Learning 7(2) 145-165 |
|
|
Libbrecht P., Melis E., Ullrich C. (2001) Generating
Personalized Documents Using a Presentation Planner. In: ED-MEDIA 2001,
World Conference on Educational Multimedia, Hypermedia and Telecommunications. |
|
|
Libbrecht P., Melis E., Ullrich C. (2001) Activemath
, a Web-Based Learning Environment. In: IEEE Learning Technology Newsletter |
|
|
Libbrecht P., Melis E., Pollet M., Ullrich C. (2001)
Interactive Exercises in the \activemath Learning Environment. In: ISSAC-2001
Workshop on Internet Accessible Mathematical Computation. |
|
|
Lowe H., Dobbin A. (2000) Towards a Proof Assistant forNovice
Formal Methodists, E. Melis (ed.) Deduction Systems for Mathematics
Education, Proceedings of a Workshop at CADE-17, pp. 52 sqq. |
|
|
Luengo V. (1999) A semi-empirical agent for
learning mathematical proof. In: Lajoie P., Vivet M. (eds.) Artificial
Intelligence and Education (pp. 475-482). Amsterdam: IOS Press --
Tokyo: Ohmsha. |
|
|
Luengo V. (2005) Some didactical and
epistemological considerations in the design of educational software: the
Cabri-Euclide example. International Journal of Computers for mathematical
learning. 10 (1) 1-29 |
|
|
Lynch M. P. (1998) Truth in context.
Cambridge, MA : The MIT Press, Bradford Books |
|
|
Lynch M. P.
(ed.) (2001) The nature of truth. Cambridge, MA : The MIT
Press, Bradford Books |
|
|
Marquis P.
(1999) Sur les preuves non déductives en intelligence artificielle.
J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve à la
lumière de l'intelligence artificielle. (Nouvelle Encyclopédie
Diderot). Paris : PUF, pp. 139-158 |
|
|
Melis E., Leron U. (1999) A proof presentation suitable
for teaching proofs. In: Lajoie P., Vivet M. (eds.) Artificial Intelligence
and Education (pp. 483-490). Amsterdam: IOS Press -- Tokyo: Ohmsha. |
|
|
Melis E. (2000) The `Interactive Textbook' Project,
E. Melis (ed.) Deduction Systems for Mathematics Education, Proceedings
of a Workshop at CADE-17, pp. 26-34 |
|
|
Melis E., Buedenbender J., Andres E., Frischauf A.,
Goguadse G., Libbrecht P., Pollet M., Ullrich C. (2001) The Activemath
Learning Environment. Artificial Intelligence and Education 12(4) |
|
|
E. Melis and J. Buedenbender
E. Andres and Adrian, Frischauf and G. Goguadse and P. Libbrecht and M.
Pollet and C. Ullrich
(2001) A Generic and Adaptive Web-Based Learning Environment. Artificial
Intelligence and Education, 12 (4) |
|
|
Melis E., Glasmacher Ch., Ullrich C., Gerjets P.
(2001) Automated Proof Planning for Instructional Design. Annual Conference
of the Cognitive Science Society. |
|
|
Moreno A. L., Bharath S. (2005) Structural stability and dynamic geometry: some ideas on situated proofs Zentralblatt für Didaktik der Mathematik 37(3) pp.130-139 |
|
|
Parnafes O., Disessa A. (2004) Relations
between types of resoning and computational representations. International
Journal of Computers for Mathematical Learning 9(3) 251-280 |
|
|
Pastre D. (1978) Automatic theorem proving
in set theory. Journal of Artificial Intelligence 10, 1-27. |
|
|
Pastre D. (1989) MUSCADET: an automatic theorem proving system
using knowledge and metaknowledge in mathematics. Journal of Artificial
Intelligence 38, 257-318. |
|
|
Pastre D. (1993) Automated theorem proving in mathematics. Annals
on Artificial Intelligence and Mathematics 8, 425-447. |
|
|
Pitrat J. (1999) Vers
un métamatématicien artificiel. J. Sallantin, J. Szczeciniarz
(eds.) Le concept de preuve à la lumière de l'intelligence
artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.117-138 |
|
|
Py D.
(2001) Environnements interactifs d'apprentissage et démonstration
en géométrie. Documents d'habilitation n° 39 (63
pages). Rennes : IRISA et IFSIC |
|
|
Recio T. (1998) Cálculo simbólico y geometricó.
Madrid: Editorial Sintesis. |
|
|
Recio T., Vélez P. (1999) Automated deduction of
elementary geometry theorems. Journal of Automated Reasoning. (in
press). |
|
|
Sallantin
J., Szczeciniarz J.-J. (1999) Introduction, la preuve
à la lumière (?) de l'intelligence artificielle. J. Sallantin,
J. Szczeciniarz (eds.) Le concept de preuve à la lumière
de l'intelligence artificielle. (Nouvelle Encyclopédie Diderot).
Paris : PUF, pp.1-28 |
|
|
Sallantin
J. (1999) Les cadres
probatoires. J. Sallantin, J. Szczeciniarz (eds.) Le concept de preuve
à la lumière de l'intelligence artificielle. (Nouvelle
Encyclopédie Diderot). Paris : PUF, pp.255-278 |
|
|
Samper C., Leguizámon C., Camargo L. (2001)
razonamiento en geometriá. Revista EMA 6(2) 141-158. |
|
|
Samper C., Leguizamón, Camargo L.
(2002) La construcción de conceptos: une actividad importante para
desarollar razonamiento en geometría. Revista EMA 7(3) 293-309 |
|
|
Searle J. R.
(2001) Rationality in action. Cambridge, MA : The MIT Press, Bradford
Books |
|
|
Schwarz B., Neuman T.,
Gil J., Ilya M. (2001)
Effects of argumentative activities on collective and individual arguments.
In : Dillenbourg P., Eurelings A., Hakkarainen K. (eds.) European perspectives
on computer-supported collaborative learning (pp. 545-552) Maastricht
McLuhan Institute. |
|
|
Simons M., Biersack M., Raschke R.
(1994) Literate and structured presentation of formal proofs. In: Olderog
E.-R. (ed.) IFIP Working Conference on Programming Concepts, Methods
and Calculi (PROCOMET'94). (pp.61-81). North Holland. |
|
|
Simons M. (1996) The presentation of formal proofs. Ph.
D. Thesis. Berlin: Technische Universität. |
|
|
Sinclair,
M., de Bruyn, Y., Hanna, G., and Harrison, P. (2004).
Cinderella and the Geometers Sketchpad. Canadian Journal of Science,
Mathematics and Technology Education, 4(3), 423-438. |
|
|
Sommer R., Rozenfeld M., Ravaglia R. (2000) A
Proof Environment for Teaching Mathematics, E. Melis (ed.) Deduction
Systems for Mathematics Education, Proceedings of a Workshop at CADE-17,
pp. 35-43 |
|
|
Spagnol J.-P. (2001) Argos, un démonstrateur
de théorèmes en géométrie. Sciences et Technologies
Educatives 8 (1/2) 113-125. |
|
|
Stylianides
G. J., Stylianides A. J. (2005)
Validation of solutions of construction problems in dynamic geometry environments.
International Journal of Computers for mathematical learning. 10
(1) 31-47 |
|
|
Szymanski W. A. (1994) Geometric computarized
proofs = drawing package + Symbolic computation software. Journal of
computers in Mathematics and Science Teaching. 13(4) 433-444. |
|
|
Szymanski, W. A.
(1994): Geometric Computerized Proofs = Drawing Package + Symbolic Computation
Software Journal of Computers in Mathematics and Science Teaching, vol.
13 n4 p. 433-44 |
|
|
Szczeciniarz J.-J. (1999) Descartes
et Euclide : le cogito comme ultime preuve. J. Sallantin, J. Szczeciniarz
(eds.) Le concept de preuve à la lumière de l'intelligence
artificielle. (Nouvelle Encyclopédie Diderot). Paris : PUF, pp.59-86 |
|
|
Tarski A. (1969) Truth and proof. Scientific
American 220, 63-77. |
|
|
Zuber R. (1999) Règles, déduction,
grammaire et langage. J. Sallantin, J. Szczeciniarz (eds.) Le concept
de preuve à la lumière de l'intelligence artificielle.
(Nouvelle Encyclopédie Diderot). Paris : PUF, pp.279-298 |