×
Compute Distance To:
Author ID: gottliebsen.hanne Recent zbMATH articles by "Gottliebsen, Hanne"
Published as: Gottliebsen, Hanne; Gottliebsen, H.
Documents Indexed: 6 Publications since 1999
Co-Authors: 9 Co-Authors with 5 Joint Publications
83 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 28 times in 21 Documents Cited by Year
Computer algebra meets automated theorem proving: Integrating Maple and PVS. Zbl 1005.68997
Adams, Andrew; Dunstan, Martin; Gottliebsen, Hanne; Kelsey, Tom; Martin, Ursula; Owre, Sam
14
2001
Transcendental functions and continuity checking in PVS. Zbl 0974.68190
Gottliebsen, Hanne
5
2000
VSDITLU: A verifiable symbolic definite integral table look-up. Zbl 0943.68152
Adams, A. A.; Gottliebsen, H.; Linton, S. A.; Martin, U.
4
1999
Hidden verification for computational mathematics. Zbl 1126.68103
Gottliebsen, Hanne; Kelsey, Tom; Martin, Ursula
3
2005
Applications of real number theorem proving in PVS. Zbl 1298.68252
Gottliebsen, Hanne; Hardy, Ruth; Lightfoot, Olga; Martin, Ursula
2
2013
Applications of real number theorem proving in PVS. Zbl 1298.68252
Gottliebsen, Hanne; Hardy, Ruth; Lightfoot, Olga; Martin, Ursula
2
2013
Hidden verification for computational mathematics. Zbl 1126.68103
Gottliebsen, Hanne; Kelsey, Tom; Martin, Ursula
3
2005
Computer algebra meets automated theorem proving: Integrating Maple and PVS. Zbl 1005.68997
Adams, Andrew; Dunstan, Martin; Gottliebsen, Hanne; Kelsey, Tom; Martin, Ursula; Owre, Sam
14
2001
Transcendental functions and continuity checking in PVS. Zbl 0974.68190
Gottliebsen, Hanne
5
2000
VSDITLU: A verifiable symbolic definite integral table look-up. Zbl 0943.68152
Adams, A. A.; Gottliebsen, H.; Linton, S. A.; Martin, U.
4
1999

Citations by Year