Hanne Gottliebsen

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Applications of real number theorem proving in PVS.
Formal Aspects Comput., 2013

2009
Converting between Combinatory Reduction Systems and Big Step Semantics.
Proceedings of the Semantics and Algebraic Specification, 2009

2005
Hidden verification for computational mathematics.
J. Symb. Comput., 2005

2004
Design Verification for Control Engineering.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2001
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS.
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000
Transcendental Functions and Continuity Checking in PVS.
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.
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

VSDITLU: a verifiable symbolic definite integral table look-up.
Proceedings of the Automated Deduction, 1999


  Loading...