Theory of "Groebner
Bases'' / The
Theorema Project / Decomposition
of Goedel Numberings / ComputerTrees
and the LMachine / Padic
Arithmetic / Hybrid Approach
to Robotics / Systolic
Algorithms for Computer Algebra
Main Contributions / ComputerTrees and the LMachine
From 1976 until 1985, my main research interest was the parallelization
of symbolic computation algorithms and the construction of appropriate
parallel machines. I introduced the notion of "Computer Trees"
and, later, the notion of "Lmachine" as a computational
model and as a basis for an early distributed memory parallel machine.
In 19781983, I built two versions of the Lmachine that consisted
of 8 processors in cooperation with an Austrian engineering company.
I was able to implement various experimental parallel algorithms
on this early parallel machine for demonstrating the future effects
of parallelization.
