Timeline for Quantifier elimination in $S^1$
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 20, 2022 at 11:43 | comment | added | H A Helfgott | @DimaPasechnik Yes, that's the point. I was dealing with a problem with two variables in $S^1$. I can actually solve it by hand, but I'll come across similar problems, and I was wondering whether they could be solved by barrel-organ. | |
| Jan 19, 2022 at 17:40 | comment | added | Dima Pasechnik | in practice, quantifier elimination is very slow already for 3 or 4 real variables. | |
| Jan 18, 2022 at 21:05 | comment | added | H A Helfgott | Very lucky, as in, a simplification? | |
| Jan 18, 2022 at 21:04 | comment | added | Sam Nead | Well, yes. But perhaps you might get very very very lucky and thus not have to do any work this way. (Worst case analyses do not necessarily apply to particular cases.) | |
| Jan 18, 2022 at 21:03 | comment | added | H A Helfgott | ... and cylindrical decomposition has doubly exponential complexity on the number of variables. | |
| Jan 18, 2022 at 21:02 | comment | added | H A Helfgott | Ooops. OTOH, this will be completely unpractical, since it doubles the number of variables. | |
| Jan 18, 2022 at 20:56 | history | answered | Sam Nead | CC BY-SA 4.0 |