Deciding linear-trigonometric problems.

Hirokazu Anai, Volker Weispfenning

Browse the full ISSAC paper archive.