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 / Padic Arithmetic:
In 1986, I did some detailed analysis on Padic arithmetics as an
alternative in computer algebra systems for speeding up these systems.
