VSDITLU: a verifiable symbolic definite integral table look-up. - Andrew A. Adams; Hanne Gottliebsen; Steve Linton; Ursula Martin (CADE, 1999)

Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. - Andrew A. Adams; Hanne Gottliebsen; Steve Linton; Ursula Martin (ISSAC, 1999)

Transcendental Functions and Continuity Checking in PVS. - Hanne Gottliebsen (TPHOLs, 2000)

Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. - Andrew Adams; Martin Dunstan; Hanne Gottliebsen; Tom W. Kelsey; Ursula Martin; Sam Owre (TPHOLs, 2001)

Design Verification for Control Engineering. - Richard J. Boulton; Hanne Gottliebsen; Ruth Hardy; Tom W. Kelsey; Ursula Martin (IFM, 2004)

Hidden verification for computational mathematics. - Hanne Gottliebsen; Tom W. Kelsey; Ursula Martin (J. Symb. Comput., 2005)

Converting between Combinatory Reduction Systems and Big Step Semantics. - Hanne Gottliebsen; Kristoffer H. Rose (Semantics and Algebraic Specification, 2009)

Applications of real number theorem proving in PVS. - Hanne Gottliebsen; Ruth Hardy; Olga Lightfoot; Ursula Martin (Formal Aspects Comput., 2013)