Bruno Buchberger

main contributions
refereed publications
unrefereed
books - journals
invited talks
contributed talks
 

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