Verified Real Asymptotics in Isabelle/HOL

Manuel Eberl. Verified Real Asymptotics in Isabelle/HOL. In James H. Davenport, Dongming Wang, Manuel Kauers, Russell Bradford, editors, Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019. pages 147-154, ACM, 2019. [doi]

Abstract

Abstract is missing.