SAINT (Symbolic Automatic Integrator) by James Robert Slagle

The Ph.D. thesis work of James Robert Slagle. One of the earliest programs written in Lisp—along with the evaluator, the compiler, Rochester and Goldberg's symbolic electrical network impedance calculator, and Paul Abrahams's proof-checking thesis.

(dspace.mit.edu) A heuristic program that solves symbolic integration problems in freshman calculus : symbolic automatic integrator (SAINT)   website

ROAM_REFS: https://dspace.mit.edu/handle/1721.1/11997

** A heuristic program that solves symbolic integration problems in freshman calculus : symbolic automatic integrator (SAINT)

* Author(s)

Slagle, James R. (James Robert)

31225400-MIT.pdf.jpg?sequence=5&isAllowed=y

Full printable version (6.037Mb)

* Advisor

Marvin Minsky.

* Terms of use

M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582

* Metadata

Show full item record

* Description

Thesis (Ph. D.)–Massachusetts Institute of Technology, Dept. of Mathematics, 1961.

Includes bibliographical references (leaves 109-110).

* Date issued

1961

* URI

http://hdl.handle.net/1721.1/11997

* Department

Massachusetts Institute of Technology. Department of Mathematics

* Publisher

Massachusetts Institute of Technology

* Keywords

Mathematics

* Collections

(dspace.mit.edu) Adopted from pdflib image sample (C) - 31225400-MIT.pdf   mime_type_application_pdf

ROAM_REFS: https://dspace.mit.edu/bitstream/handle/1721.1/11997/31225400-MIT.pdf

(stacks.stanford.edu) Unknown - fb373ch9229.pdf   mime_type_application_pdf website

ROAM_REFS: https://stacks.stanford.edu/file/druid:fb373ch9229/fb373ch9229.pdf

An annotated copy of a draft of James Robert Slagle's Ph.D. thesis.

Local Graph

org-roam 06b80a92-cc6d-4784-96db-503125f47f60 SAINT (Symbolic Automatic Integrator)... 84ae6e85-a6a2-4133-bc53-274238081c2d Lisp 06b80a92-cc6d-4784-96db-503125f47f60->84ae6e85-a6a2-4133-bc53-274238081c2d c5e87ea8-52a4-4618-9b96-3460d6c77ec9 (www-formal.stanford.edu) From LISP 1... c5e87ea8-52a4-4618-9b96-3460d6c77ec9->06b80a92-cc6d-4784-96db-503125f47f60