 | 2009 |
|---|
| 7 |       | Hanne Gottliebsen,
Kristoffer H. Rose:
Converting between Combinatory Reduction Systems and Big Step Semantics.
Semantics and Algebraic Specification 2009: 297-314 |
| 2005 |
|---|
| 6 | | Hanne Gottliebsen,
Tom Kelsey,
Ursula Martin:
Hidden verification for computational mathematics.
J. Symb. Comput. 39(5): 539-567 (2005) |
| 2004 |
|---|
| 5 | | Richard J. Boulton,
Hanne Gottliebsen,
Ruth Hardy,
Tom Kelsey,
Ursula Martin:
Design Verification for Control Engineering.
IFM 2004: 21-35 |
| 2001 |
|---|
| 4 | | 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 | | A. A. Adams,
Hanne Gottliebsen,
Steve Linton,
Ursula Martin:
VSDITLU: a verifiable symbolic definite integral table look-up.
CADE 1999: 112-126 |
| 1 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page