## VSDITLU: a verifiable symbolic definite integral table look-up (1999)

### 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: | 2 - 1 self |