Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Gebauer-Möller"”.
-
Non-commutative Gröbner Bases and Applications
… methods, say interreduction on obstructions, Gebauer-Möller criteria, and detecting redundant generators, were developed for efficiently improving the Buchberger Procedure. Further, the same approach was applied to study Gröbner basis theory in free bimodules over free monoid rings. The …
-
An F4-Style Involutive Basis Algorithm
… algorithm is the original method [2]. Gebauer-Möller algorithm [6] is a refined Buchberger’s algorithm. The F4 algorithm [5] uses matrix reduction to compute efficiently. Involutive Basis algorithm [8, 1, 12] is an effective method avoiding much ambiguity in the other algorithms.</p> …