New answers tagged


I don't know, but I suspect it's an open question. If the theory of the reals with exponential function is decidable, then your problem is decidable, too. It is known that if Shanuel's Conjecture holds, then the former is decidable, so your problem is too. If I understand correctly, the following paper tackles your problem: The identity problem for ...

Top 50 recent answers are included