Applications of Hermite transforms in computer algebra.

Helena Zakrajsek

Published in: Adv. Appl. Math. (2003)

Keyphrases

computer algebra
theorem prover
projection method
linear relationship
artificial intelligence
automated theorem provers
computer algebra systems
databases
feature selection
activation function