Gröbner bases

Thursday, September 21, 2006 - 1:20pm - 2:10pm
Bruno Salvy (Institut National de Recherche en Informatique Automatique (INRIA))
We study the complexity of Gröbner bases computation, in
particular in the generic situation where the variables are in
simultaneous Noether position with respect to the system. We bound
precisely the exponent of the complexity of Faugère
F5 algorithm in this case. This complexity is related to the index of
regularity of the ideal. For regular systems, this index is well-
known. We define a class of overdetermined systems called semi-
regular systems for which we derive sharp asymptotic estimates of the
Subscribe to RSS - Gröbner bases