We present a decision algorithm for a restricted class of sentences involving certain mixed polynomial and transcendental analytic functions. Variables may range over the real numbers. The approach taken is very much in the spirit of cylindrical algebraic decomposition: we call it cylindrical analytic decomposition.
|Publisher||Department of Computing, Macquarie University|
|Number of pages||14|
|Publication status||Published - 2006|