Title: MAGIC PAPER, an on-line system for the manipulation of symbolic mathematics
Subjects: Mathematics, Real-time data processing, Computer science, Online data processing