Symbolic Integration: The Stormy Decade

@article{Moses1971SymbolicIT,
  title={Symbolic Integration: The Stormy Decade},
  author={Joel Moses},
  journal={Commun. ACM},
  year={1971},
  volume={14},
  pages={548-560}
}
Three approaches to symbolic integration in the 1960's are described. The first, from artificial intelligence, led to Slagle's SAINT and to a large degree to Moses' SIN. The second, from algebraic manipulation, led to Manove's implementation and to Horowitz' and Tobey's reexamination of the Hermite algorithm for integrating rational functions. The third, from mathematics, led to Richardson's proof of the unsolvability of the problem for a class of functions and for Risch's decision procedure… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-3 OF 3 REFERENCES

Symbolic Integration. MAc-TR-47, Proj

  • J. Moses
  • MAC, MiX,
  • 1967
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…