A program that computes limits using heuristics to evaluate the indeterminate forms
From MaRDI portal
Publication:2562568
DOI10.1016/0004-3702(73)90001-5zbMath0266.68019OpenAlexW1981615610MaRDI QIDQ2562568
Publication date: 1973
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(73)90001-5
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Breadth-first search: some surprising results
- Theorem-Proving on the Computer
- Sufficient Conditions for the Success of GPS
- On Canonical Forms and Simplification
- Experiments in automatic learning for a multipurpose hueristic program
- Algebraic simplification
- Symbolic integration
- A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
This page was built for publication: A program that computes limits using heuristics to evaluate the indeterminate forms