Symbolic Integration

@inproceedings{Moses1966SymbolicI,
  title={Symbolic Integration},
  author={J. Moses},
  year={1966}
}
SIN and SOLDIER are heuristic programs written in LISP which solve symbolic integration problems. SIN (Symbolic INtearator) solves indefinite integration proble.. at the difficulty approaching those in the larger integral tables. SIN contains several more methods than are used in the previous symbolic integration program SAINT, and solves BIOst of the problems attempted by SAINT in less than one second. . SOLDIER (SOLution of Ordinary DIfferential Equations Routine) solves first order, first… Expand
138 Citations

Topics from this paper

...
1
2
3
4
5
...

References

SHOWING 1-10 OF 68 REFERENCES
A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
  • J. Slagle
  • Mathematics, Computer Science
  • JACM
  • 1963
  • 178
  • PDF
Steps toward Artificial Intelligence
  • M. Minsky
  • Computer Science
  • Proceedings of the IRE
  • 1961
  • 1,194
  • PDF
An experiment in a user-oriented computer system
  • 27
The Integration of Functions of a Single Variable
  • 54
  • PDF
On the computer enumeration of finite topologies
  • 70
...
1
2
3
4
5
...