Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. Computer Science and Artificial Intelligence Lab (CSAIL)
  3. Artificial Intelligence Lab Publications
  4. AI Technical Reports (1964 - 2004)
  5. Symbolic Integration

Symbolic Integration

Thumbnail Image
Download
Name

AITR-226.pdf

Size

5.86 MB

Format

Adobe PDF

Checksum (MD5)

e03b840e79883513d32c52e1c7ad99d8

Thumbnail Image
Download
Name

AITR-226.ps

Size

7.41 MB

Format

PostScript

Checksum (MD5)

9597e1328de6e05d45e0a1a22c7cc767

Author(s)
Moses, Joel
Date Issued
September 1, 1967
Series/Report no.
AITR-226
Abstract
SIN and SOLDIER are heuristic programs in LISP which solve symbolic integration problems. SIN (Symbolic INtegrator) solves indefinite integration problems 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 most of the problems attempted by SAINT in less than one second. SOLDIER (SOLution of Ordinary Differential Equations Routine) solves first order, first degree ordinary differential equations at the level of a good college sophomore and at an average of about five seconds per problem attempted. The differences in philosophy and operation between SAINT and SIN are described, and suggestions for extending the work presented are made.
Persistent DSpace Link
http://hdl.handle.net/1721.1/6900
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.