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 / 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 codirected 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.
