A program that computes limits using heuristics to evaluate the indeterminate forms

DOI10.1016/0004-3702(73)90001-5zbMath0266.68019OpenAlexW1981615610MaRDI QIDQ2562568

Jean-Pierre Laurent

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

Mathematics Subject Classification ID

Roundoff error (65G50) Algorithms in computer science (68W99)

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