Symbolic Computation of Padé Approximants.

Keith O. Geddes

Published in: ACM Trans. Math. Softw. (1979)

Keyphrases

imperative programs
automated deduction
machine learning
query language
general purpose
activity recognition