Deciding linear-trigonometric problems

Hirokazu Anai, Volker Weispfenning. Deciding linear-trigonometric problems. In ISSAC. pages 14-22, 2000. [doi]

Abstract

Abstract is missing.