Abstract
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.
| Original language | English |
|---|---|
| Publisher | Department of Computing, Macquarie University |
| Number of pages | 14 |
| Publication status | Published - 2006 |