Hanne Gottliebsen

According to our database, Hanne Gottliebsen authored at least 8 papers between 1999 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Applications of real number theorem proving in PVS.

Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Ursula Martin

Formal Aspects Comput., 2013

2009

Converting between Combinatory Reduction Systems and Big Step Semantics.

Hanne Gottliebsen, Kristoffer H. Rose

Proceedings of the Semantics and Algebraic Specification, 2009

2005

Hidden verification for computational mathematics.

Hanne Gottliebsen, Tom Kelsey, Ursula Martin

J. Symb. Comput., 2005

2004

Design Verification for Control Engineering.

Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2001

Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS.

Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000

Transcendental Functions and Continuity Checking in PVS.

Hanne Gottliebsen

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

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

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

VSDITLU: a verifiable symbolic definite integral table look-up.

Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin

Proceedings of the Automated Deduction, 1999