Applied Mathematics Publications
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".