Automatic Asymptotic and Big-O Calculations Via Computer Algebra.

David R. Stoutemyer

Published in: SIAM J. Comput. (1979)

Keyphrases

computer algebra
theorem prover
semi automatic
data driven
fully automatic
asymptotically optimal
data sets
search engine
multiscale
artificial neural networks