A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus

DOI10.1145/321186.321193MaRDI QIDQ5720484zbMATH OpenOpenAlexFDO

Authors James R. Slagle

Publication date 1963

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/321186.321193

zbMATH Keywords

numerical analysis

Cited in

(13)

• Computer construction of crossword puzzles using precedence relationships
• Rule-oriented methods in problem solving
• Verified interactive computation of definite integrals
• Analytic computation of some integrals in fourth order quantum electrodynamics
• On the evolution of artificial intelligence
• Generalized means-ends analysis and artificial intelligence
• Finding resolution proofs and using duplicate goals in AND/OR trees
• An admissible and optimal algorithm for searching AND/OR graphs
• A program that computes limits using heuristics to evaluate the indeterminate forms
• Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration
• \textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
• Symbolic manipulation CAD of control engineering by using REDUCE
• Effective Set Membership in Computer Algebra and Beyond

This page was built for publication: A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5720484)