A computer aid for symbolic mathematics

@inproceedings{Clapp1963ACA,
  title={A computer aid for symbolic mathematics},
  author={Lewis C. Clapp and Richard Y. Kain},
  booktitle={AFIPS '63 (Fall)},
  year={1963}
}
Long before it is solved, many a problem has been tossed aside by creative scientists simply because of the sheer tedium in carrying out repeated mathematical operations. In addition to being time consuming, this "clerical" activity is a frequent source of trivial errors which can invalidate the entire analysis. One approach toward solving this problem is the creation of computer aids that will assist the scientist as he develops a theory or tries to solve a mathematical problem. However, when… CONTINUE READING