Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Gianluca Trentanni
Peng Cai
Claudia Calabrese
Hao Mao
Peter Malec
Kurt C Lawrence
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
HANNE GOTTLIEBSEN
Author Info
Open Visualization
Name
Affiliation
Papers
HANNE GOTTLIEBSEN
Brorsonsgade 8,1th, DK-1624 Copenhagen V, Denmark
6
Collaborators
Citations
PageRank
12
38
3.77
Referers
Referees
References
81
95
72
Publications (6 rows)
Collaborators (12 rows)
Referers (81 rows)
Referees (95 rows)
Title
Citations
PageRank
Year
Applications of real number theorem proving in PVS.
1
0.36
2013
Converting between combinatory reduction systems and big step semantics
0
0.34
2009
Hidden verification for computational mathematics
3
0.49
2005
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS
20
0.95
2001
Transcendental Functions and Continuity Checking in PVS
8
0.84
2000
VSDITLU: a verifiable symbolic definite integral table look-up
6
0.79
1999
1
