A note on the decidability of exponential terms
Paola D’Aquino, Giuseppina Terzo · Mathematical logic quarterly · 2007
Abstract In this paper we prove, modulo Schanuel's Conjecture, that there are algorithms which decide if two exponential polynomials in π are equal in ℝ and if two exponential polynomials in π and i coincide in ℂ. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)