How to solve systems of polynomial inequalities?
$begingroup$
I am currently working on a project that deals with systems of inequalities and so far I have found algorithms for the basic case of a system of inequalities as well as the non-strict linear inequalities (using Linear Programming). I was wondering if there is an algorithm that will help solve a system of polynomial inequalities besides Cylindrical Decomposition. If there isn't one for both the strict/non-strict versions, an algorithm for just one will suffice.
inequality polynomials
$endgroup$
add a comment |
$begingroup$
I am currently working on a project that deals with systems of inequalities and so far I have found algorithms for the basic case of a system of inequalities as well as the non-strict linear inequalities (using Linear Programming). I was wondering if there is an algorithm that will help solve a system of polynomial inequalities besides Cylindrical Decomposition. If there isn't one for both the strict/non-strict versions, an algorithm for just one will suffice.
inequality polynomials
$endgroup$
1
$begingroup$
The study of these systems is called "Real Semialgebraic Geometry". Unfortunately, cylindrical decomposition is the best algorithm I'm aware of for solving them. But googling "Real Semialgebraic Geometry" may turn something up.
$endgroup$
– Alex Becker
Feb 25 '13 at 21:49
$begingroup$
Thanks, I'm just trying to find other algorithms to compare them to cylindrical decomposition. More than efficiency I'm looking at implementability (it's a computer science problem). Thanks for your input though!
$endgroup$
– user1883573
Feb 25 '13 at 21:53
add a comment |
$begingroup$
I am currently working on a project that deals with systems of inequalities and so far I have found algorithms for the basic case of a system of inequalities as well as the non-strict linear inequalities (using Linear Programming). I was wondering if there is an algorithm that will help solve a system of polynomial inequalities besides Cylindrical Decomposition. If there isn't one for both the strict/non-strict versions, an algorithm for just one will suffice.
inequality polynomials
$endgroup$
I am currently working on a project that deals with systems of inequalities and so far I have found algorithms for the basic case of a system of inequalities as well as the non-strict linear inequalities (using Linear Programming). I was wondering if there is an algorithm that will help solve a system of polynomial inequalities besides Cylindrical Decomposition. If there isn't one for both the strict/non-strict versions, an algorithm for just one will suffice.
inequality polynomials
inequality polynomials
asked Feb 25 '13 at 21:40
user1883573user1883573
161
161
1
$begingroup$
The study of these systems is called "Real Semialgebraic Geometry". Unfortunately, cylindrical decomposition is the best algorithm I'm aware of for solving them. But googling "Real Semialgebraic Geometry" may turn something up.
$endgroup$
– Alex Becker
Feb 25 '13 at 21:49
$begingroup$
Thanks, I'm just trying to find other algorithms to compare them to cylindrical decomposition. More than efficiency I'm looking at implementability (it's a computer science problem). Thanks for your input though!
$endgroup$
– user1883573
Feb 25 '13 at 21:53
add a comment |
1
$begingroup$
The study of these systems is called "Real Semialgebraic Geometry". Unfortunately, cylindrical decomposition is the best algorithm I'm aware of for solving them. But googling "Real Semialgebraic Geometry" may turn something up.
$endgroup$
– Alex Becker
Feb 25 '13 at 21:49
$begingroup$
Thanks, I'm just trying to find other algorithms to compare them to cylindrical decomposition. More than efficiency I'm looking at implementability (it's a computer science problem). Thanks for your input though!
$endgroup$
– user1883573
Feb 25 '13 at 21:53
1
1
$begingroup$
The study of these systems is called "Real Semialgebraic Geometry". Unfortunately, cylindrical decomposition is the best algorithm I'm aware of for solving them. But googling "Real Semialgebraic Geometry" may turn something up.
$endgroup$
– Alex Becker
Feb 25 '13 at 21:49
$begingroup$
The study of these systems is called "Real Semialgebraic Geometry". Unfortunately, cylindrical decomposition is the best algorithm I'm aware of for solving them. But googling "Real Semialgebraic Geometry" may turn something up.
$endgroup$
– Alex Becker
Feb 25 '13 at 21:49
$begingroup$
Thanks, I'm just trying to find other algorithms to compare them to cylindrical decomposition. More than efficiency I'm looking at implementability (it's a computer science problem). Thanks for your input though!
$endgroup$
– user1883573
Feb 25 '13 at 21:53
$begingroup$
Thanks, I'm just trying to find other algorithms to compare them to cylindrical decomposition. More than efficiency I'm looking at implementability (it's a computer science problem). Thanks for your input though!
$endgroup$
– user1883573
Feb 25 '13 at 21:53
add a comment |
0
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f314293%2fhow-to-solve-systems-of-polynomial-inequalities%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f314293%2fhow-to-solve-systems-of-polynomial-inequalities%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
The study of these systems is called "Real Semialgebraic Geometry". Unfortunately, cylindrical decomposition is the best algorithm I'm aware of for solving them. But googling "Real Semialgebraic Geometry" may turn something up.
$endgroup$
– Alex Becker
Feb 25 '13 at 21:49
$begingroup$
Thanks, I'm just trying to find other algorithms to compare them to cylindrical decomposition. More than efficiency I'm looking at implementability (it's a computer science problem). Thanks for your input though!
$endgroup$
– user1883573
Feb 25 '13 at 21:53