Edit Profile (opens in new tab) Gottliebsen, Hanne Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 1 single-authored 4 Martin, Ursula 2 Adams, Andrew A. 2 Kelsey, Tom 1 Dunstan, Martin 1 Hardy, Ruth 1 Lightfoot, Olga 1 Linton, Steve A. 1 Owre, Sam 1 Rose, Kristoffer Høgsbro Serials 1 Journal of Symbolic Computation 1 Formal Aspects of Computing Fields 6 Computer science (68-XX) 1 Real functions (26-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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.68997Adams, Andrew; Dunstan, Martin; Gottliebsen, Hanne; Kelsey, Tom; Martin, Ursula; Owre, Sam 14 2001 Transcendental functions and continuity checking in PVS. Zbl 0974.68190Gottliebsen, Hanne 5 2000 VSDITLU: A verifiable symbolic definite integral table look-up. Zbl 0943.68152Adams, A. A.; Gottliebsen, H.; Linton, S. A.; Martin, U. 4 1999 Hidden verification for computational mathematics. Zbl 1126.68103Gottliebsen, Hanne; Kelsey, Tom; Martin, Ursula 3 2005 Applications of real number theorem proving in PVS. Zbl 1298.68252Gottliebsen, Hanne; Hardy, Ruth; Lightfoot, Olga; Martin, Ursula 2 2013 Applications of real number theorem proving in PVS. Zbl 1298.68252Gottliebsen, Hanne; Hardy, Ruth; Lightfoot, Olga; Martin, Ursula 2 2013 Hidden verification for computational mathematics. Zbl 1126.68103Gottliebsen, Hanne; Kelsey, Tom; Martin, Ursula 3 2005 Computer algebra meets automated theorem proving: Integrating Maple and PVS. Zbl 1005.68997Adams, Andrew; Dunstan, Martin; Gottliebsen, Hanne; Kelsey, Tom; Martin, Ursula; Owre, Sam 14 2001 Transcendental functions and continuity checking in PVS. Zbl 0974.68190Gottliebsen, Hanne 5 2000 VSDITLU: A verifiable symbolic definite integral table look-up. Zbl 0943.68152Adams, A. A.; Gottliebsen, H.; Linton, S. A.; Martin, U. 4 1999 all cited Publications top 5 cited Publications all top 5 Cited by 55 Authors 3 Martin, Ursula 2 Chandy, Kanianthra Mani 2 Gottliebsen, Hanne 2 Guan, Yong 2 Li, Liming 2 Mitra, Sayan 2 Shi, Zhiping 2 Tahar, Sofiène 1 Akbarpour, Behzad 1 Arthan, Rob D. 1 Avigad, Jeremy 1 Bernardeschi, Cinzia 1 Blandford, Ann 1 Bringsjord, Selmer 1 Curzon, Paul 1 Delahaye, David 1 Domenici, Andrea 1 Dos Reis, Gabriel 1 Dunchev, Cvetan 1 Franke, Andreas 1 Go, Brian 1 Govindarajalulu, Naveen Sundar 1 Hardy, Ruth 1 Heras, Jónathan 1 Hölzl, Johannes 1 Ida, Tetsuo 1 Kaliszyk, Cezary 1 Kelsey, Tom 1 Khan Afshar, Sanaz 1 Kohlhase, Michael 1 Lewis, Robert Y. 1 Li, Ximeng 1 Li, Yongdong 1 Li, Yue 1 Lightfoot, Olga 1 Martín-Mateos, Francisco-Jesús 1 Mayero, Micaela 1 Oliva, Paulo 1 Owre, Sam 1 Pascual, Vico 1 Paulson, Lawrence Charles 1 Pilotto, Concetta 1 Seddiki, Ons 1 Serafin, Luke 1 Shankar, Natarajan 1 Taylor, Joshua A. 1 Wang, Guohui 1 White, Jerome 1 Wu, Minchao 1 Xiong, Haiyan 1 Xu, Runqing 1 Zhan, Bohua 1 Zhang, Jie 1 Zhang, Jingzhi 1 Zhang, Yupeng all top 5 Cited in 8 Serials 4 Journal of Automated Reasoning 3 Journal of Symbolic Computation 3 Formal Aspects of Computing 1 Information Processing Letters 1 Synthese 1 Applicable Algebra in Engineering, Communication and Computing 1 Formal Methods in System Design 1 Mathematical Problems in Engineering all top 5 Cited in 6 Fields 21 Computer science (68-XX) 3 Systems theory; control (93-XX) 1 Mathematical logic and foundations (03-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year