Advanced tests for algorithms of differentiation

Abstract

The oldest algorithm for handling symbolic information is, perhaps, one which computes the derivative of a function. Nowadays, such an algorithm, to be a valuable tool, is never used on its own but as an element of a very large set of procedures. This set constitutes a formula manipulation system and the algorithm for differentiation certainly lies at its heart.