| 2005 |
|---|
| 6 | EE | Hanne Gottliebsen,
Tom Kelsey,
Ursula Martin:
Hidden verification for computational mathematics.
J. Symb. Comput. 39(5): 539-567 (2005) |
| 2004 |
|---|
| 5 | EE | Richard J. Boulton,
Hanne Gottliebsen,
Ruth Hardy,
Tom Kelsey,
Ursula Martin:
Design Verification for Control Engineering.
IFM 2004: 21-35 |
| 2001 |
|---|
| 4 | EE | Andrew Adams,
Martin Dunstan,
Hanne Gottliebsen,
Tom Kelsey,
Ursula Martin,
Sam Owre:
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS.
TPHOLs 2001: 27-42 |
| 2000 |
|---|
| 3 | | Hanne Gottliebsen:
Transcendental Functions and Continuity Checking in PVS.
TPHOLs 2000: 197-214 |
| 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 |
