H ? « ‹ ← → › »

Language peer sets for SAINT:
United States↑
United States/1961↑
Designed 1961 ↑
1960s languages ↑
Second generation↑
Early Cold War↑
Genus Algebraic ↑
Specialised Languages ↑
Algebraic↑
Mathematical↑
Expression-oriented ↑
Algebraic/1961↑
Mathematical/1961↑
Expression-oriented/1961↑
Algebraic/United States↑
Mathematical/United States↑
Expression-oriented/United States↑
Specialised Languages ↑
Specialised Languages/1961↑
Specialised Languages/us ↑

SAINT(ID:153/sai003)

A program to do formal integration 

alternate simple view
Country: United States
Designed 1961
Published: 1961
Genus: Algebraic
Sammet category: Specialised Languages

Symbolic Automatic INTegrator. J. Slagle, MIT 1961. Written in LISP.

A program to do formal integration (Sammett 1961)
Related languages
LT → SAINT   Influence
References:
  • Slagle, J. (1961) Slagle, J. A heuristic program that solves symbolic integration problems in freshman calculus. Ph.D. diss., MIT, May 1961
  • Slagle, J. R. (1961) Slagle, J. R. "A heuristic program that solves symbolic integration problems in freshman calculus: symbolic automatic integrator (SAINT)" Report 5 G-0001, MIT Lincoln Laboratory, May 10, 1961
  • Slagle, James R. (1963) Slagle, James R. "A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus" pp507-520 Abstract Extract: Introduction Extract: Heuristic Extract: Heuristic
          in [ACM] (1963) [ACM] JACM 10(04) October 1963
  • Sammet, Jean E. (1967) Sammet, Jean E. "Formula Manipulation by Computer" Extract: SAINT
          in Advances in Computers, Vol. (1967) Advances in Computers, Vol. 8 FL Alt and M Rubinoff (Eds.), Academic Press, New York, 1967
  • Sammet, Jean E. (1968) Sammet, Jean E. "Revised Annotated Descriptor Based Bibliography for the Use of Computers for Non-Numerical Mathematics"
          in Bobrow, D. G. (ed) (1968) Bobrow, D. G. (ed) "Symbol Manipulation Languages and Techniques", Proceedings of the IFIP Working Conference on Symbol Manipulation Languages. North-Holland Publishing Co., Amsterdam, 1968
  • Sammet, Jean E. (1969) Sammet, Jean E. "Computer Languages - Principles and History" Englewood Cliffs, N.J. Prentice-Hall 1969. p.410.
          in Bobrow, D. G. (ed) (1968) Bobrow, D. G. (ed) "Symbol Manipulation Languages and Techniques", Proceedings of the IFIP Working Conference on Symbol Manipulation Languages. North-Holland Publishing Co., Amsterdam, 1968
  • Moses, Joel (1971) Moses, Joel "Symbolic integration: the stormy decade" Abstract
          in [ACM] (1971) [ACM] CACM 14(08) August 1971
  • Stock (1971) Stock, Karl F. "A listing of some programming languages and their users" in RZ-Informationen. Graz: Rechenzentrum Graz 1971 206 Abstract
          in [ACM] (1971) [ACM] CACM 14(08) August 1971
  • Stock and Stock (1973) Stock, Marylene and Stock, Karl F. "Bibliography of Programming Languages: Books, User Manuals and Articles from PLANKALKUL to PL/I" Verlag Dokumentation, Pullach/Munchen 1973 511 Abstract
          in [ACM] (1971) [ACM] CACM 14(08) August 1971
  • Geddes et al (1992) Geddes, K.O. ; Czapor S.R. and G. Labahn, "Algorithms for Computer Algebra" Kluwer Academic Publishers, Boston, 1992 Extract: Extract from Chapter one
          in [ACM] (1971) [ACM] CACM 14(08) August 1971
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder