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.