Main Contributions
Theory of "Groebner Bases''
The Theorema Project
Decomposition of Goedel Numberings
ComputerTrees and the LMachine
Padic Arithmetic
Hybrid (Symbolic and Neural Network Based)
Approach to Robotics
Systolic Algorithms for Computer Algebra
