Symbolic Mathematics System Evaluators (extended abstract)

Richard J. Fateman. Symbolic Mathematics System Evaluators (extended abstract). In ISSAC. pages 86-94, 1996. [doi]

@inproceedings{Fateman96,
  title = {Symbolic Mathematics System Evaluators (extended abstract)},
  author = {Richard J. Fateman},
  year = {1996},
  doi = {10.1145/236869.236907},
  url = {http://doi.acm.org/10.1145/236869.236907},
  researchr = {https://researchr.org/publication/Fateman96},
  cites = {0},
  citedby = {0},
  pages = {86-94},
  booktitle = {ISSAC},
}