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

Cached

Download Links

by A.A. Adams , H. Gottliebsen , S. A. Linton , U. Martin
Citations:10 - 5 self