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

DOI10.1016/0004-3702(73)90001-5MaRDI QIDQ2562568zbMATH OpenOpenAlexFDO

Authors 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

• A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
• Algebraic simplification
• Breadth-first search: some surprising results
• Experiments in automatic learning for a multipurpose hueristic program
• scientific article; zbMATH DE number 3298341 (Why is no real title available?)
• scientific article; zbMATH DE number 3362979 (Why is no real title available?)
• scientific article; zbMATH DE number 3185223 (Why is no real title available?)
• On Canonical Forms and Simplification
• Sufficient Conditions for the Success of GPS
• Symbolic integration
• Theorem-Proving on the Computer

This page was built for publication: A program that computes limits using heuristics to evaluate the indeterminate forms

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