Deciding first-order formulas involving univariate mixed trigonometric-polynomials.

Rizeng Chen, Bican Xia

Browse the full ISSAC paper archive.