Deciding polynomial-transcendental problems

Scott McCallum, Volker Weispfenning

Research output: Book/ReportOther report


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 languageEnglish
PublisherDepartment of Computing, Macquarie University
Number of pages14
Publication statusPublished - 2006


Dive into the research topics of 'Deciding polynomial-transcendental problems'. Together they form a unique fingerprint.

Cite this