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

### Cached

### Download Links

- [www-theory.cs.st-and.ac.uk]
- [www-theory.dcs.st-and.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
A.A. Adams
,
H. Gottliebsen
,
S. A. Linton
,
U. Martin

Citations: | 10 - 5 self |