Paper Description: MIP-9504
BibTeX entry:
@incollection{MIP-9504,
author="V. Weispfenning",
title="Solving Parametric Polynomial Equations and Inequalities by Symbolic Algorithms",
institution="Fakult{\"a}t f{\"u}r Mathematik und Informatik,
Universit{\"a}t Passau",
year=1995,
number={MIP-9504}
}
Abstract:
The talk gives a survey on some symbolic algorithmic method for solving
systems of algebraic equations with special emphasis on parametric
systems. Besides complex solutions I consider also real solutions of
systems including inequalities. The techniques described include the
Euclidean algorithm, Gröbner bases, characteristic sets, univariate
and multivariate Sturm-Sylvester theorems, comprehensive Gröbner
bases and elimination methods for parametric optimization problems. Some
examples illustrate the use of symbolic algorithms for the solution of
parametric systems.
Paper itself:
Cross links:
Ulrike Peiker, Martin Griebl