1 "컴퓨터를 이용한 수학적 표현에 관한 연구" 8 (8): 651-662, 1998
2 "웹기반의 적응적 코스웨어 설계를 위한 탐색지원기법에 관한 고찰" 15 (15): 65-89, 1999
3 "아름다운 수학 Mathematica와 함께" 교우사 1999
4 "수학적 개념의 형상화를 위한 컴퓨터 화면 구성" 5 (5): 55-64, 1995
5 "수학교육에서의 Mathematica의 활용" 5 (5): 157-168, 1995
6 "수학교육에서의 Maple의 활용방안" 1 (1): 157-185, 1999
7 "대학수학에서 Mathematica를 이용한 π의 계산" 11 : 307-319, 2001
8 "교수 설계 자동화 시스템 개발을 위한 이론적 고찰" 1 (1): 127-138, 1998
9 "The computer modeling of mathematical reasoning" Academic Press London 1983
10 "The REDUCE Program for Computer Algebra on Advanced Computing Methods in Theoretical Physics" 1973
1 "컴퓨터를 이용한 수학적 표현에 관한 연구" 8 (8): 651-662, 1998
2 "웹기반의 적응적 코스웨어 설계를 위한 탐색지원기법에 관한 고찰" 15 (15): 65-89, 1999
3 "아름다운 수학 Mathematica와 함께" 교우사 1999
4 "수학적 개념의 형상화를 위한 컴퓨터 화면 구성" 5 (5): 55-64, 1995
5 "수학교육에서의 Mathematica의 활용" 5 (5): 157-168, 1995
6 "수학교육에서의 Maple의 활용방안" 1 (1): 157-185, 1999
7 "대학수학에서 Mathematica를 이용한 π의 계산" 11 : 307-319, 2001
8 "교수 설계 자동화 시스템 개발을 위한 이론적 고찰" 1 (1): 127-138, 1998
9 "The computer modeling of mathematical reasoning" Academic Press London 1983
10 "The REDUCE Program for Computer Algebra on Advanced Computing Methods in Theoretical Physics" 1973
11 "The Mathematica Book" Wolfram Media and Cambridge University Press 1996
12 "The Macaulay Manual" Dave Bayer and Mike Stillman 1993
13 "Semantic Identification and Translation Research" The PolyMath Development Group 1996
14 "Objectives of OpenMath" 1996
15 "Mathematica를 활용한 수학 지도" 8 (8): 541-551, 1998
16 "Mathematica를 이용한 웹기반 미적분 모듈의 개발" 4 (4): 105-114, 2001
17 "Maple의 길잡이" 교우사 2002
18 "MATLAB 사용법과 그 응용" 교우사 2002
19 "MATHEMATICA의 중등수학교육 활용방안" 1999
20 "Introduction to Derive 5 - A book for learning how to use Derive 5" 2000
21 "Handbook of Magma Functions University of Sydney" 1995
22 "Flash-Enabled User Interface For CAS" 2003 : 2003
23 "Fermet User's Guide For Windows95/98/NT" 2002
24 "Computer-Human Interaction in Symbolic Computation" Springer-Verlag/Wien 1998
25 "Client-server communication standards for mathematical computation" Unpublished master thesis university of waterloo : 1999