Symbolic integration the stormy decade

@inproceedings{Moses1971SymbolicIT,
  title={Symbolic integration the stormy decade},
  author={J. Moses},
  booktitle={SYMSAC '71},
  year={1971}
}
  • J. Moses
  • Published in SYMSAC '71 1971
  • Computer Science
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 re-examination 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… Expand
60 Citations
Symbolic mathematical computation—introduction and overview
  • 11
Interpolation in symbolic summation
  • F. Caruso
  • Mathematics, Computer Science
  • SIGS
  • 2003
Symbolic integration of a class of algebraic functions
  • E. W. Ng
  • Mathematics, Computer Science
  • SIGS
  • 1974
  • 5
  • PDF
Integration in Finite Terms with Special Functions: the Error Function
  • 25
  • PDF
Computer algebra and numerical integration
  • 10
A study of alternative methods for the symbolic calculation of elliptic integrals
  • 7
Integration of algebraic functions
  • 5
Analytically Solving Integral Equations by Using Computer Algebra
  • 5
...
1
2
3
4
5
...