Speaker:Youngcook Jun
Time:2000-04-28 14:00:00
Place:Rm.1406, CS Bldg./KAIST

Abstract

컴퓨터대수시스템의 연구분야와 활용분야를 살펴보고, 웹기반학습시스템과 논리교육에 응용할 수 있는 방법을 모색한다. 대수, 기하부분에서의 Computer Algebra Systems의 연구동향을 살펴보고, 정리증명기에 기반한 교육용 시스템 의 경향을 소개한다. 마지막으로 프로그래밍 언어와 관련된 컴퓨터대수 인터 프리터를 살펴본다.

[ List ]