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 Memos (1959 - 2004)
  5. Symbolic Integration II

Symbolic Integration II

Thumbnail Image
Download
Name

AIM-097a.pdf

Size

469.91 KB

Format

Adobe PDF

Checksum (MD5)

c6609a1164c8d9c358d9dc69425de34e

Thumbnail Image
Download
Name

AIM-097a.ps

Size

634.09 KB

Format

PostScript

Checksum (MD5)

f8222cdab333e43280f40f051d9415a0

Author(s)
Moses, Joel
Date Issued
October 1, 1966
Series/Report no.
AIM-097a
Abstract
In this memo we describe the current state of the integration program originally described in AI Memo 97 (MAC-M-310). Familiarity with Memo 97 is assumed. Some of the algorithms described in that memo have been extended. Certain new algorithms and a simple integration by parts routine have been added. The current program can integrate all the problems which were solved by SAINT and also the two problems which were solved. Due to the addition of a decision procedure the program is capable of identifying certain integrands (such as e or e/ x) as not integrable in closed form.
Persistent DSpace Link
http://hdl.handle.net/1721.1/6124
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.