Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

Combinatory Models and Symbolic Computation
Author

K. Aberer
Journal / Anthology

Lecture Notes in Computer Science
Year: 1993
Volume: 721
Page range: 116-131
Description

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 another level approximate computation is represented. Furthermore programs are themselves algebraic expression. Therefore it is possible to algebraically manipulate programs of symbolic and numerical computation, thus providing symbolic computation with a firm semantic foundation and giving a natural model for mixed symbolic-numerical computation. We illustrate these facts with examples.
Subject

*Applied Mathematics > Computer Science