Combinatory Models and Symbolic Computation

We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of algebraic computation and on an other level approximate computation is represented. Furthermore programs are themselves algebraic expressions. Therefore it is possible to algebraically manipulate programs of symbolic and numerical computation, thus providing symbolic computation with a rm semantic foundation and giving a natural model for mixed symbolic-numerical computation. We illustrate these facts with examples.

• Type: Conference
• Year: 1992
• Where: DISCO
• Authors: Karl Aberer
• Keywords: Algebraic Computation, Computation, DISCO 1992, Hardware, Level Approximate Computation