Publication:4234230
From MaRDI portal
zbMath0919.03008MaRDI QIDQ4234230
Publication date: 23 August 1999
algebraically closed field; exponential polynomial; Schanuel's conjecture; elementary number; elementary constant problem; exponential ideals; local primality
68W30: Symbolic computation and algebraic computation
12L05: Decidability and field theory
03B25: Decidability of theories and sets of sentences