Trigonometric Identities, Linear Algebra, and Computer Algebra.

Ian Doust Michael D. Hirschhorn Jocelyn Ho

Published in: Am. Math. Mon. (2005)

Keyphrases

linear algebra
computer algebra
fir filters
theorem prover
singular value decomposition
image processing
computer architecture
computer algebra systems
radon transform
feature selection
sparse matrices
automated theorem provers