Well... It Isn't Quite That Simple
ACM SIGSAM Bulletin
URL with Digital Object Identifier
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".