Automated theorem proving in support of computer algebra: symbolic definite integration as a case study
Andrew A Adams‚ Hanne Gottliebsen‚ SA Linton and Ursula Martin
Book Title
Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Organisation
ACM
Pages
253–260
Year
1999