Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study.

Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin

Browse the full ISSAC paper archive.