@inproceedings{eberl19issac,
 author = {Eberl, Manuel},
 title = {Verified Real Asymptotics in {I}sabelle/{HOL}},
 booktitle = {Proceedings of the International Symposium on Symbolic and Algebraic Computation},
 series = {ISSAC '19},
 year = {2019},
 isbn = {978-1-4503-6084-5/19/07},
 location = {Beijing, China},
 doi = {10.1145/3326229.3326240},
 publisher = {ACM},
 address = {New York, NY, USA}
}