Main Contributions
Theory of "Groebner Bases''
The Theorema Project
Decomposition of Goedel Numberings
Computer-Trees and the L-Machine
P-adic Arithmetic
Hybrid (Symbolic and Neural Network Based)
Approach to Robotics
Systolic Algorithms for Computer Algebra
|