Timeline for Is there an algorithm for determining whether an expression involving nested radicals is rational?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 20, 2019 at 13:13 | comment | added | François Brunault | This quantifier elimination over the reals has been implemented in QEPCAD usna.edu/CS/qepcadweb/B/QEPCAD.html and Redlog redlog.eu | |
| Oct 27, 2019 at 22:21 | comment | added | Dima Pasechnik | @TimothyChow - yes, it can do this, see my EDIT above. | |
| Oct 27, 2019 at 22:20 | history | edited | Dima Pasechnik | CC BY-SA 4.0 |
explanation for the general case.
|
| Oct 25, 2019 at 20:30 | comment | added | Timothy Chow | Can this procedure be generalized to determine whether the expression is rational (and if so, which rational it is)? | |
| Oct 25, 2019 at 8:05 | history | edited | Dima Pasechnik | CC BY-SA 4.0 |
added a more general case
|
| Oct 24, 2019 at 20:27 | history | answered | Dima Pasechnik | CC BY-SA 4.0 |