La lettre de la Preuve 

ISSN 12928763 

2000 
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 

Breton P., Gauthier G. (2000) Histoire des théories de l'argumentation. Coll. Repères. Paris : La décourverte 

Miyazaki M. (2000) Levels of
proof in lower secondary school mathematics. Educational
Studies in Mathematics 41(1) 4768. 

All
the following papers are published in Deduction Systems
for Mathematics Education, 

Bundy A., Moore J.D., Zinn C. (2000) An Intelligent Tutoring System for Induction Proofs Abridged Project Description, pp. 413 

Dahn B. I. (2000) Knowledge Management in the TRIALSOLUTION Project (First Considerations). pp. 1419 

Farmer M. W. (2000) A Proposal for the Development ofan Interactive Mathematics Laboratory for Mathematics Education. pp. 2025 

Fiedler A. (2000) Determining and Structuring the Content of Presentations of Proofs in Natural Language. pp. 4451 

Lowe H., Dobbin A. (2000) Towards a Proof Assistant forNovice Formal Methodists. pp. 52 sqq 

Melis E. (2000) The `Interactive Textbook' Project. pp. 2634 

Sommer R., Rozenfeld M., Ravaglia R. (2000) A Proof Environment forTeaching Mathematics. pp. 3543 
1999 
The complete text from all the following references from
the Jape
Project 

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 HumanComputer Interaction INTERACT '99, Vol. 2, pp. 34, Swindon, UK, British Computer Society, ISBN 1902505190 

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' ComputerAssisted 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 

Bornat R., Sufrin B.A. (1999) "Animating formal proof at the surface: the Jape proof calculator", The Computer Journal, 43(3), 177192 
Archives 
Barbin E. (1996) Quels conceptions épistémologiques de la démonstration pour quels apprentissages ? in : L'enseignement des mathématiques : des repères entre savoirs, programmes et pratiques (pp.195210). PontàMousson : Topiques éditions 

Davis E. (1893) On the teaching of elementary geometry. Bulletin of the New York Mathematical Society 3, 814 

Jones P. (1944) Early american geometry. Mathematics Teacher 37, 311 

Keigwin H. (1892) The old and new methods in geometry. Educational Review. 4, 182184. 

Kitcher P. (1977) On the uses of rigorous proof. Science 196, pp. 782783 [A review of Lakatos' Proofs and refutations] 

Kuntz G. (1996) De l'intelligence artificielle aux fichesméthodes. in : L'enseignement des mathématiques : des repères entre savoirs, programmes et pratiques (pp.5568). PontàMousson : Topiques éditions 

Legrand M. (1996) Débat scientifique en cours de mathématiques et spécificité de l'analyse. in : L'enseignement des mathématiques : des repères entre savoirs, programmes et pratiques (pp.171192). PontàMousson : Topiques éditions 

Nunn T. (1925) The sequence of theorems in school geometry. Mathematics Teacher 18, 321332 

Richards E. (1892) Old and new methods in elementary geometry. Educational Review. 3, 3139. 

Ryan J. (1928) Two methods of teaching geometry: syllabus vs. textbook. Mathematics Teacher 21, 3136 

Shutts G. (1892) Old and new methods in geometry. Educational Review. 3, 264266. 

Stroup P. (1926) When is a proof not a proof. Mathematics Teacher 19, 499505 




Deduction
Systems Editor 


The purpose of this workshop, in the application area of automated and interactive theorem proving, is to establish more communication between current education projects in the CADE community, to exchange ideas and opinions, and to make available the experience of education systems from other AIcommunities. The submission of project descriptions were explicitly encourage. 

With contributions from... 

Renaissance de la démonstration dans l'enseignement des mathématiques aux EtatsUnis ? par Eric Knuth 
"The principal difficulty in the mathematics is the length of inferences and compass of thought, requisite to the forming of any conclusion. And, perhaps, our progress in natural philosophy is chiefly retarded by the want of proper experiments and phaenomena, which are often discovered by chance, and cannot always be found, when requisite, even by the most diligent and prudent enquiry. As moral philosophy seems hitherto to have received less improvement than either geometry or physics, we may conclude, that, if there be any difference in this respect among these sciences, the difficulties, which obstruct the progress of the former, require superior care and capacity to be surmounted." Hume, 1748, An Enquiry Concerning Human Understanding 

Cette contribution d'Eric Knuth au thème de la lettre de maijuin, est maintenant disponible en langue française. 
Prueba, lingua y cultura Proof, language and culture 
"The rebirth of proof in school
mathematics in the United States" by Eric Knuth by A. Keith Austin 
A part of the proof website is now devoted to a repository of material which could help to inform research about the state of the teaching of proof in mathematics in different countries. All contributions are welcome... See also La lettre de la Preuve, septembre/octobre 1999, concerning issues related to proof and culture. 
Eric Knuth in his short paper reports that the majority teachers feel proof is not appropriate for all students. Keith Austin suggests, in his reaction, a possible explanation for this ... Any further reactions are welcome, contact the Proof Newsletter editor. 
