Automated theorem proving in support of computer algebra: Symbolic definite integration as a case study (1999)

by Andrew A Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin
Venue:In Proceedings of International 19 on Symbolic and Algebraic Computation (ISSAC’99