@phdthesis{eberl20,
 author = "Eberl, Manuel",
 title = "Asymptotic Reasoning in a Proof Assistant",
 year = 2020,
 school = "Technical University of Munich",
 url = "http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20210121-1554821-1-2"
}