Hanne Gottliebsen

Publication Activity (10 Years)

Years Active: 1999-2013
Publications (10 Years): 0

Top Topics

Theorem Proving

Automated Deduction

Parallel Search

Top Venues

Formal Aspects Comput.

Publications

Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Ursula Martin
Applications of real number theorem proving in PVS. Formal Aspects Comput. 25 (6) (2013)
Hanne Gottliebsen, Kristoffer H. Rose
Converting between Combinatory Reduction Systems and Big Step Semantics. Semantics and Algebraic Specification (2009)
Hanne Gottliebsen, Tom Kelsey, Ursula Martin
Hidden verification for computational mathematics. J. Symb. Comput. 39 (5) (2005)
Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin
Design Verification for Control Engineering. IFM (2004)
Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. TPHOLs (2001)
Hanne Gottliebsen
Transcendental Functions and Continuity Checking in PVS. TPHOLs (2000)
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)
A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin
VSDITLU: a verifiable symbolic definite integral table look-up. CADE (1999)