Abstract | ||
---|---|---|
A new Maple package for solving parametric systems of polynomial equations and inequalities is described. The main idea for solving such a system is as follows. The parameter space Rd is divided into two parts: the discriminant variety W and its complement RdnW. The discriminant variety is a generalization of the well-known discriminant of a univariate polynomial and contains all those parameter values leading to non-generic solutions of the system. The complement RdnW can be expressed as a finite union of open cells such that the number of real solutions of the input system is constant on each cell. In this way, all parameter values leading to generic solutions of the system can be described systematically. The underlying techniques used are Gröbner bases, polynomial real root finding, and cylindrical algebraic decomposition. This package offers a friendly interface for scientists and engineers to solve parametric problems, as illustrated by an example from control theory. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1145/1823931.1823933 | ACM Comm. Computer Algebra |
Keywords | Field | DocType |
input system,univariate polynomial,parametric system,new maple package,well-known discriminant,parametric problem,polynomial equation,discriminant variety,polynomial real root finding,parametric polynomial system,parameter space,cylindrical algebraic decomposition,control theory | Discrete mathematics,Combinatorics,Polynomial,Algebra,Discriminant,System of polynomial equations,Parametric statistics,Monic polynomial,Homogeneous polynomial,Matrix polynomial,Cylindrical algebraic decomposition,Mathematics | Journal |
Volume | Issue | Citations |
43 | 3/4 | 5 |
PageRank | References | Authors |
0.45 | 15 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jürgen Gerhard | 1 | 70 | 7.37 |
David J. Jeffrey | 2 | 1172 | 132.12 |
Guillaume Moroz | 3 | 57 | 9.36 |