Trigonometric Identities, Linear Algebra, and Computer Algebra. - Ian Doust; Michael D. Hirschhorn; Jocelyn Ho (Am. Math. Mon., 2005)