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 / Systolic Algorithms for Computer Algebra:

In 1993 and later, I was involved in the research mainly pursued by T. Jebelean on speeding up rational arithmetic by systolic areas as a basis for speeding up algorithms in the area of polynomial ideal theory.