On the design of an expert help system for computer algebra systems

REDUCE[2, 3], like many modern Computer Algebra Systems (CAS) (MACSYMA, MATHEMATICA, MAPLE, SCRATCHPAD to name a few), embodies a large amount of mathematical knowledge which is spread out through thousands of procedures in the source code of the system. Most of this knowledge is, however, in an implicit form almost inaccessible to the user, who would have… (More)