1. Cabri Ⅱ, Bellemein, Baulac, Laborde, , 1994
2. YEAR BOOK, NIEER, , 2009
3. Mathematical Proof, Hanna.G, , 1991
4. Intuition and proof, Fishbein, Intuition and Proof, , 1982
5. The nature of proof, Fawcett, , 1938
6. 현대의 과학철학, Queenland .신일철과 신중섭, , 1985
7. Proof in modern geometry, Izen, , 1998
8. The Geometer's Sketchpad, Jackiw, , 1991
9. 수학교육과 컴퓨터, 류희찬, 京文社, , 1998
10. 證明 指導의 再吟味, 禹正晧(Woo Jeong Ho), 대한수학교육학회, 증명지도의 재음미, , 1994
11. Empirical Evidence and Proof, Chazan, , 1993
12. Towards theory of instruction, Bruner, , 1966
13. Geometry and Spatial Reasoning, Battista, Clements, , 1992
14. Research on Mathematical Proof, Thomas, Aliebert, , 1991
15. Tangible Math: Geometry Inventor, Brock, Cappo, Shenkerman, Rosin, Dromy, , 1994
16. 학교수학의 교육적 기초, 우정호, 서울대학교출판부, , 1998
17. Concepts and conceptual structure, Medin, , 1989
18. Types of students' justifications, Sowder, Harel, , 1998
19. Euclid may stay-and Even be taught, Hadas, Dreyfus, , 1987
20. Should we teach modern mathematics ?, Dieu donne, , 1973
21. Technology and mathematics education, Kaput, , 1992
22. The implications of "geometry for all, Usiskin, "The implications of ""geometry for all", , 1997
23. Rigorous proof in mathematics education, Hanna.G, OISE Press, , 1983
24. The philosophy of mathematics education, Ernest, Paul, Falmer Press, , 1991
25. Students comprehension of geometric proofs, Gonobolin, , 1975
26. How well do students write geometry proofs?, Senk, How well do students write geometry proofs?, , 1985
27. Qualitative methods in research on teaching, Erikson, , 1986
28. What works as proof in the mathematics class, Herbst, , 1998
29. Proof Frames of Preservice ElementaryTeachers, Martin, Harel, Proof Frames of Preservice ElementaryTeacher s, , 1989
30. The unreasonable effectiveness of mathematics, Hamming, , 1980
31. 라카토스 수리철학의 교육적 연구, 강문봉, , 1993
32. The role and f unction of proof in mathematics, De Villier s, , 1990
33. Processes of proof and situations of validation, Balacheff, , 1987
34. Dynamics of teaching secondary school mathematics, Cooney, Thomas J, Houghton Mifflin, , 1975
35. 論證の意義の理解に關すゐ發達的硏究, 國宗進, , 1992
36. An alternative approach to proof in dynamic geometry, De Villier s, , 1998
37. Interactive technology and classic geometry problems, McGehee, , 1998
38. 중학교 수학에서 증명지도에 관한 연구, 김흥기, 한국수학교육학회, , 1998
39. Cabri: The interactivegeometry notebook(Cabri Gomtre), Baulac, Laborde, Bellemein, , 1992
40. The roles and needs of mathematics teacher s using IT, Hodgson, , 1995
41. In troduction to the history of mathematics, 수학사, Eve, 이우영, 신항균, "In troduction to the history of mathematics, , 1953
42. The geometric supposer : Promoting thinkingand learning, Houde, Yeru shalmy, , 1986
43. The constructivist researcher as teacher andmodel builder, Steffe, Cobb, , 1983
44. Curriculum and evaluation standards for school mathematics, NCTM, Curriculum an d evaluation standards f or school mathematics, , 2000
45. Ethnography and qualitative design in educational research, Goetz, Judith Preissle, Academic Press, , 1984
46. van Hiele Levels and Achievement in Writing Geometry Proofs, Senk, van Hiele levels and achievement in writing geometry proofs, , 1989
47. Characterizing students' understandings of mathematicalproof, Knuth, , 1998
48. Making room for mathematicians in a philosophy ofmathematics, Tymoczko, , 1986
49. Proofs and refutations : the logic of mathematical discovery, Lakatos, Imre, Cambridge University Press, Proof s and ref u tations: The logic of mathematical discovery, , 1976
50. Difficulties and errors in geometric proofs by grade 7 pupils, Becker, Difficulties and error s in geometric proofs by grade 7 pupils, , 1982
51. Proof and certitude in the development ofmathematical thinking, Fishbein, Kedem, , 1982
52. Research in education : A conceptualin troduction (3rd edition), McMillan, Schmacher, , 1993
53. A Study of Pupil' s Proof-Explanations in MathematicalSituations, Bell, , 1976
54. Windows on mathematical meanings : learning cultures and computers, Noss, Richard, Kluwer Academic Publishers, Windows on mathematical meanings: Learning culturesand compu ters, , 1996
55. Action proof in primary mathematics teaching and inteacher training, Semadeni, , 1984
56. East or west- GEOMLAND is best, or does theanswer depend on the angle, Sendov, Sendova, "East or west- GEOMLAND is best, , 1993
57. The research act : a theoretical introduction to sociological methods, Denzin, Norman K, Aldine Pub. Co., The research act: A theoretical in troduction to sociologicalmethods, , 1970
58. The computer as part of the learning environment : The caseof geometry, Laborde, , 1991
59. 피아제의 균형화 모델에 의한 증명의 지도 방법 탐색, 류성림, 한국교원대학교 대학원, 한국교원대학교 박사학위논문, , 1998
60. The explanation by example-For establishing the generalityof conjectures, Miyazaki, , 1991
61. Cognitive aspects of proof with special reference to the irrationality of 2, Tall, , 1979
62. 컴퓨터환경에서의 수학 학습-지도에 관한 교수학적 분석, 이종영, , 1999
63. CaseStudy Research in Education: A Qualitative Approach,질적사례연구법, 허미화, Merriam, , 1988
64. Assessing Justification and proof in geometry class taughtusing dynamic software, Galindo, , 1998
65. The development of practical socialunder standing in elementary school-age children, Mergendollor, Packer, , 1989
66. Students' learning of geometry using computer software as a tool : Three case studies, Choi, Sang Sook, Uni. of Georgia, , 1996
67. The role of proof in investigative, computer-based geometry : somepersonal reflections, De Villier s, "The role of proof in investigative, , 1997
68. Justification in the mathematics classroom : Astudy of prospective elementary teacher s, Blume, Simon, , 1996
69. What is this thing called science? : A n assesmen t of thenature and science and its method, Chalmers, , 1982
70. Teacher s' thinking about students' thinking about geometry:The effects of new teaching tools, Lampert, , 1993
71. 증명의 구성요소 분석 및 학습-지도 방향 탐색-중학교 수학을 중심으로-, 서동엽, 서동엽(Seo Dong Yeop), , 1999
72. Treatment of refutations : Aspects of the complexity of aconstructivist approach to mathematics learning, Balacheff, , 1991
73. Development and learning processes: A study of someaspects of Piaget' s psychology in relation with the didactics of mathematics, van Hiele, Developmen t and learning processes: A study of some aspectsof Piaget 's psychology in relation with the didactics of mathematics, , 1959