About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
SYMSAC 1981
Conference paper
Algebraic constructions for algorithms
Abstract
In the last decade or so there has been an outgrowth of research in algebraic complexity of computations which showed how to derive algorithms systematically. One of the features of these derivation is their reliance on algebraic and symbolic constructions. I would like, in this paper, to survey some of the symbolic and algebraic constructions which are used, and then draw some conclusions on the implications of this development for symbol manipulation systems. Let me start by sketching some of these derivations.