Statistics
Publications
1
Citations
29
H-Index
1
Active since
1999
Affiliations
University of St Andrews(Current)
Hanne Gottliebsen is an author at University of St Andrews specializing in algebra, automated theorem proving, and theorem proving.
Publications per year
1999–1999
1
1
Automated theorem proving in support of computer algebra
Andrew A. Adams, Hanne Gottliebsen, Stephen Linton et al. · 1999 · 29 citations · Full text
Computing, Computer Science, Algebra +11
1–1 of 1