Robert S. Sutor
-
Computer Algebra: Past and Future
Journal of Symbolic Computation
Indefinite integration with validation
ACM Transactions on Mathematical Software (TOMS)