Reduction of Transcendental Decision Problems over the Reals.

Rizeng Chen, Bican Xia

Browse the full ISSAC paper archive.