Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleIntervals, syzygies, numerical Gr\"obner bases: A mixed study.
Author(s) Marco Bodrato, Alberto Zanoni
TypeBook, Chapter in Book, Conference Proceeding
AbstractIn Gröbner bases computation, as in other algorithms in commutative algebra, a general open question is how to guide the calculations coping with numerical coefficients and/or not exact input data. It often happens that, due to error accumulation and/or insufficient working precision, the obtained result is not one expects from a theoretical derivation. The resulting basis may have more or less polynomials, a different number of solution, roots with different multiplicity, another Hilbert function, and so on. Augmenting precision we may overcome algorithmic errors, but one does not know in advance how much this precision should be, and a trial–and–error approach is often the only way to follow. Coping with initial errors is an even more difficult task. In this experimental work we propose the combined use of syzygies and interval arithmetic to decide what to do at each critical point of the algorithm.
KeywordsGröbner bases, numerical coefficients, syzygie
URL http://link.springer.com/chapter/10.1007%2F11870814_5
PublisherBerlin: Springer
Translation No
Refereed No