An algorithm for symbolic integration [pdf] (did you know that such an algorithm existed?)www-sop.inria.fr1 pointamichail19 years ago