Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Symbolic summation with generating functions
Авторы: Ravenscroft R.A., Lamagna E.A.
Our goal is the development of an interactive system to assist in the solution of mathematical problems arising from the analysis of algorithms. Such a system can benefit from some of the advantages computers offer over hand calculations including increased computational speed, increased accuracy, and elimination of tedious computations. The system should be able to analyze problems like those solved in Knuth  and Purdom and Brown . In doing so it should avoid ad hoc methods such as table lookup or special cases, since these approaches are limited in their capabilities. Instead it should be algorithmic, permitting an attempt at an analysis when previously unconsidered problems are posed.