Symbolic computation of integrals by recurrence.

Michael P. Barnett

Published in: SIGSAM Bull. (2003)

Keyphrases

imperative programs
automated deduction
fuzzy measures
aggregation functions
real time
databases
neural network
machine learning
artificial intelligence
training data
multiscale
lower bound
expert systems