Timeline for Existence of solutions of polynomials systems (and their "rough" shape) over $\mathbb{R}$ & friends with positive-dimensional ideals
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 29, 2020 at 13:23 | comment | added | François Brunault | @user43263 By the way, I realize that this also works (in theory) for polynomials whose coefficients are arbitrary real numbers (which are computable to arbitrary precision, like $\pi$, $e$ or whatever...). Namely, you introduce indeterminates for these coefficients. CAD will output a boolean formula involving (in)equalities between polynomials in these indeterminates (like "$b^2-4ac \geq 0$"), and you just need to evaluate these expressions to sufficient precision to decide whether the boolean formula is true or false. | |
| May 29, 2020 at 13:18 | vote | accept | user43263 | ||
| May 29, 2020 at 13:18 | comment | added | user43263 | Thanks, this really was very helpful! | |
| May 29, 2020 at 13:07 | history | answered | François Brunault | CC BY-SA 4.0 |