计算机符号积分概述

符号积分是计算机公式处理的重要内容之一。了解这一分支在软件发展中的地位无疑是有益的。本文试图从人工智能,代数处理和数学理论三个方面把符号积分近二十年来的主要成果作一扼要的阐述。