
Search the dblp DataBase
Hanne Gottliebsen:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin
VSDITLU: a verifiable symbolic definite integral table lookup. [Citation Graph (0, 0)][DBLP] CADE, 1999, pp:112126 [Conf]
 Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin
Design Verification for Control Engineering. [Citation Graph (0, 0)][DBLP] IFM, 2004, pp:2135 [Conf]
 A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin
Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. [Citation Graph (0, 0)][DBLP] ISSAC, 1999, pp:253260 [Conf]
 Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. [Citation Graph (0, 0)][DBLP] TPHOLs, 2001, pp:2742 [Conf]
 Hanne Gottliebsen
Transcendental Functions and Continuity Checking in PVS. [Citation Graph (0, 0)][DBLP] TPHOLs, 2000, pp:197214 [Conf]
 Hanne Gottliebsen, Tom Kelsey, Ursula Martin
Hidden verification for computational mathematics. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2005, v:39, n:5, pp:539567 [Journal]
Converting between Combinatory Reduction Systems and Big Step Semantics. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
