Title

Well... It Isn't Quite That Simple

Document Type

Article

Publication Date

8-1992

Journal

ACM SIGSAM Bulletin

Volume

26

Issue

3

First Page

2

Last Page

6

URL with Digital Object Identifier

http://doi.acm.org/10.1145/141897.141901

Abstract

Present computer algebra systems base their interactive sessions on a very simple model of mathematical discourse. There are many situations, however, in which this is too simple a model of mathematics. Algebra systems should be allowed to reply "Well... it isn't quite that simple".