A. Booker, A. Strömbergsson, H. Then:
Computational details regarding bounds on the K-Bessel function

Maple file, referred to in the proofs of some results in Section 2. Here is an exported djvu of the same file.

PARI file, referred to in the proof of Lemma 7.