Robotics Research Technical Report

Excerpt from Robotics Research Technical Report

These notes attempt to present in a self-contained manner the basic facts about the theory of Grobner basis and related algorithms. Except for an excellent survey on the subject by Buchberger [buchberger 1985] the liter ature on the subject is somewhat scattered. Since our interest is in com plexity of algorithms, we attempt to give quantitative forms of theorems whenever possible. Of course, much of this material is ultimately owed to B. Buchberger even if not explicitly mentioned.