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 |
Fingerprint
Dive into the research topics of 'Deciding polynomial-transcendental problems'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver