| |
| 1999 | ||
|---|---|---|
| 2 | EE | A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin: VSDITLU: a verifiable symbolic definite integral table look-up. CADE 1999: 112-126 |
| 1 | EE | A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin: Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. ISSAC 1999: 253-260 |
| 1 | Hanne Gottliebsen | [1] [2] |
| 2 | Steve Linton | [1] [2] |
| 3 | Ursula Martin | [1] [2] |