All Questions

I vaguely remember a book/some lecture notes which introduce integration algorithms such as Risch algorithm by first giving a list of quasi-algorithmic way of evaluating symbolic integrals. (For ...