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 / P-adic Arithmetic:

In 1986, I did some detailed analysis on P-adic arithmetics as an alternative in computer algebra systems for speeding up these systems.