An on-line system designed to complete formal algebraic manipulations basedon use of display screens and light pens.

• 一种用来完成形式代数处理的联机系统,它以使用显示屏幕和光笔为基