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

by A A Adams, H Gottliebsen, S A Linton, U Martin
Venue:Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation