Theory of "Groebner
Bases'' / The
Theorema Project / Decomposition
of Goedel Numberings / Computer-Trees
and the L-Machine / P-adic
Arithmetic / Hybrid
Approach to Robotics / Systolic
Algorithms for Computer Algebra
Main Contributions / Hybrid (Symbolic and Neural
Network Based) Approach to Robotics:
In the frame of the Japanese "Real World Computing"
project, 1993 and later, W. Jacak and myself co-directed a project
on hybrid (symbolic / numeric / neural networks) methods for robotics.
In the frame of this project, we developed algorithms that produce
the neural network control for robots from a symbolic description
of the robot kinematics.