A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
From MaRDI portal
Publication:5720484
DOI10.1145/321186.321193zbMath0113.32801OpenAlexW2052628540MaRDI QIDQ5720484
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
Related Items
Symbolic manipulation CAD of control engineering by using REDUCE, Analytic computation of some integrals in fourth order quantum electrodynamics, Computer construction of crossword puzzles using precedence relationships, Partitioning of algebraic subexpressions in computer algebra systems, $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation, Verified interactive computation of definite integrals, 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, Rule-oriented methods in problem solving, Effective Set Membership in Computer Algebra and Beyond
