Pierre-Vincent Koseleff, Fabrice Rouillier, Cuong Tran. On the Sign of a Trigonometric Expression. In Kazuhiro Yokoyama, Steve Linton, Daniel Robertz, editors, Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015. pages 259-266, ACM, 2015. [doi]
Abstract is missing.