H ? « ‹ ← → › »

Language peer sets for SIN:
United States↑
United States/1967↑
Designed 1967 ↑
1960s languages ↑
Third generation↑
High Cold War↑
Genus Algebraic ↑
Algebraic↑
Mathematical↑
Expression-oriented ↑
Algebraic/1967↑
Mathematical/1967↑
Expression-oriented/1967↑
Algebraic/United States↑
Mathematical/United States↑
Expression-oriented/United States↑

SIN(ID:2502/sin001)

Symbolic maths package 

alternate simple view
Country: United States
Designed 1967
Genus: Algebraic

for Symbolic INtegration

Joel Moses 1967 Project MAC, MIT

Symbolic maths package

Places
Structures:
Related languages
SIN → CARPS   Incorporated features of
SIN → SCHATCHEN   subsystem
SIN → Scratchpad   Influence
References:
  • Moses, J. (1967) Moses, J. "Expert Symbolic Integration" MAC-TR-47, Proj. MAC, MIT, Dec. 1967
  • Charniak (1969) Charniak, Eugene "Computer Solution of Calculus Word Problems" Extract: Introduction Extract: STUDENT Extract: Conclusions
          in [IJCAI-69] (1969) Donald E. Walker, Lewis M. Norton (Eds.): Proceedings of the 1st International Joint Conference on Artificial Intelligence IJCAI-69, Washington, DC, May 1969. William Kaufmann, 1969
  • Moses, J. (1969) Moses, J. The integration of a class of special functions with the Risch algorithm. Memo MAc-M-421, Proj. MAC, MIT, Sept. 1969.
          in [IJCAI-69] (1969) Donald E. Walker, Lewis M. Norton (Eds.): Proceedings of the 1st International Joint Conference on Artificial Intelligence IJCAI-69, Washington, DC, May 1969. William Kaufmann, 1969
  • Moses, Joel (1971) Moses, Joel "Algebraic simplification: a guide for the perplexed"
          in [ACM] (1971) [ACM] CACM 14(08) August 1971
  • Moses, Joel (1971) Moses, Joel "Symbolic integration: the stormy decade" Abstract
          in [ACM] (1971) [ACM] CACM 14(08) August 1971
  • Engelman, C. (1976) Engelman, C. "Algebraic Manipulation Languages" Extract: FORMAC Extract: Symbolic systems
          in Encyclopedia of Computer Science, Ralston, Anthony (1976) Encyclopedia of Computer Science, Ralston, Anthony, and Meek, Chester L. (eds) New York, NY Petrocelli/Charter 1976
  • 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 Encyclopedia of Computer Science, Ralston, Anthony (1976) Encyclopedia of Computer Science, Ralston, Anthony, and Meek, Chester L. (eds) New York, NY Petrocelli/Charter 1976
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder