A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus

Slagle, James R.

doi:10.1145/321186.321193

Cited by 116 publications

(38 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although this work grew out of two prior efforts in AI, it was cast by its leaders as "not part of AI", but rather as part of an area of computer science called symbolic manipulation, which took a thoroughgoing engineering and analytical attitude. [Slagle, 1963;Moses, 1967. ] I have put the demise of the issue at the mid-1960s.…”

Section: Ai Was Setmentioning

confidence: 99%

Intellectual Issues in the History of Artificial Intelligence

Newell

1982

View full text Add to dashboard Cite

This paper sketches the history of artificial intelligence in terms of intellectual issues. These are the usually dichotomous oppositions that disciplines seem to generate for themselves in profusion, such as heuristics versus algorithms or declarative versus procedural representations. Such a history is complementary to the standard history in terms of the evolving content of the science and the scientists who were responsible for the discoveries and developments. It is certainly no substitute for it. Furthermore, the role of such issues, especially as generated by the field itself rather than by the historian, is not clear. Yet, the picture such a history provides proves interesting. This paper does not pretend to be an adequate historiography, but must be taken as a source document prepared by a participant in the field.

show abstract

Section: Ai Was Setmentioning

confidence: 99%

Intellectual Issues in the History of Artificial Intelligence

Newell

1982

View full text Add to dashboard Cite

show abstract

“…This was no accident; the primary author of Perceptrons (Prof. Marvin Minsky of MIT) was one of the most vocal early proponents of expert systems. Although there were a few well-known expert systems before 1969 (Slagle, 1961), expert systems caught on only after the downfall of neural networks. This is discussed in more detail below in Section A.2.…”

Section: Al History/backgroundmentioning

confidence: 99%

Artificial Intelligence Applications for Nuclear Survivability Validation

Rodvold¹

1992

View full text Add to dashboard Cite

“…The earliest simplifier was written in the LISP Assembly Program by Goldberg in 1959 [ 15 ], and was used in Slagle% Symbolic Automatic Integrator (SAINT) [ 42 ]. Other LiSP-based simplifiers were written by Hart (1961) [ 17 ], Russell and Wooldridge (1963) [ 47 ], and Korsvold (1965) [ 22 ].…”

Section: )mentioning

confidence: 99%

Algebraic simplification

Moses¹

1971

Commun. ACM

105

View full text Add to dashboard Cite

Algebraic simplification is examined first from the point of view of a user needing to comprehend a large expression, and second from the point of view of a designer who wants to construct a useful and efficient system. First we describe various techniques akin to substitution.These techniques can be used to decrease the size of an expression and make it more intelligible to a user.Then we delineate the spectrum of approaches to the design of automatic simplification capabilities in an algebraic manipulation system. Systems are divided into five types.Each type provides different facilities for the manipulation and simplification of expressions.Finally we discuss some of the theoretical results relat~ ed to algebraic simplification.We describe several positive results about the existence of powerful simplification algorithms and the number-theoretic conjectures on which they rely.

show abstract

A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus

Cited by 116 publications

References 7 publications

Intellectual Issues in the History of Artificial Intelligence

Intellectual Issues in the History of Artificial Intelligence

Artificial Intelligence Applications for Nuclear Survivability Validation

Algebraic simplification

Contact Info

Product

Resources

About