Add to ORKGMI: Global COE Program Education-and-Research Hub for Mathematics-for-IndustryグローバルCOEプログラム「マス･フォア･インダストリ教育研究拠点」We study the problem of optimizing over parameters a particular real root of a polynomial with parametric coefficients. We propose an efficient symbolic method for solving the optimization problem based on a special cylindrical algebraic decomposition algorithm, which asks for a semi-algebraic decomposition into cells in terms of Number-of-Roots-invariant
Abstract. Consider the polynomial optimization problem whose objective and constraints are all descr...
Solving polynomial systems is an active research area located betweencomputer sciences and mathemati...
We discuss parametric polynomial systems, with algorithms for real root classification and triangula...
The talk gives a survey on some symbolic algorithmic methods for solving systems of algebraic equati...
AbstractWe present a generalization of the Cylindrical Algebraic Decomposition (CAD) algorithm to sy...
We present an algorithm for isolating the roots of an arbitrary complex polynomial $p$ that also wor...
We present an algorithm for isolating all roots of an arbitrary complex polynomial p that also works...
In this report we give an introduction to a constructive way of treating systems of polynomial equat...
In this report we give an introduction to a constructive way of treating systems of polynomial equat...
Finding the solutions of a polynomial system is a fundamental problem with numerous applications in ...
In the process of eliminating variables in a symbolic polynomial system, the extraneous factors are ...
In the process of eliminating variables in a symbolic polynomial system, the extraneous factors are ...
Solving polynomial systems is an active research area located between computer sciences and mathemat...
A new Maple package RootFinding[Parametric]for solving parametric systems of polynomial equations an...
Solving polynomial systems is an active research area located betweencomputer sciences and mathemati...
Abstract. Consider the polynomial optimization problem whose objective and constraints are all descr...
Solving polynomial systems is an active research area located betweencomputer sciences and mathemati...
We discuss parametric polynomial systems, with algorithms for real root classification and triangula...
The talk gives a survey on some symbolic algorithmic methods for solving systems of algebraic equati...
AbstractWe present a generalization of the Cylindrical Algebraic Decomposition (CAD) algorithm to sy...
We present an algorithm for isolating the roots of an arbitrary complex polynomial $p$ that also wor...
We present an algorithm for isolating all roots of an arbitrary complex polynomial p that also works...
In this report we give an introduction to a constructive way of treating systems of polynomial equat...
In this report we give an introduction to a constructive way of treating systems of polynomial equat...
Finding the solutions of a polynomial system is a fundamental problem with numerous applications in ...
In the process of eliminating variables in a symbolic polynomial system, the extraneous factors are ...
In the process of eliminating variables in a symbolic polynomial system, the extraneous factors are ...
Solving polynomial systems is an active research area located between computer sciences and mathemat...
A new Maple package RootFinding[Parametric]for solving parametric systems of polynomial equations an...
Solving polynomial systems is an active research area located betweencomputer sciences and mathemati...
Abstract. Consider the polynomial optimization problem whose objective and constraints are all descr...
Solving polynomial systems is an active research area located betweencomputer sciences and mathemati...
We discuss parametric polynomial systems, with algorithms for real root classification and triangula...