Improvements in Maple 11's Groebner Package
Roman Pearce, CECM.
Abstract: In this talk we will present some non-trivial improvements in Maple 11's Groebner package, with an emphasis on algorithms and their implementation. The point of these algorithms is to solve or compute with multivariate polynomial systems. Topics include Groebner bases and the F4 algorithm for computing them (now used by default in Maple), improved Groebner basis conversion algorithms (FGLM & Groebner Walk), a sparse division algorithm (normal form) based on F4, improvements to Stephen Czapor's factoring Buchberger (gsolve) command, and rational univariate representations. I will limit the talk to half an hour.