arXiv:2004.10697 [math.PR]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords running maximum, cox-ingersoll-ross process, kummer function, saddle point method, computer algebra assisted proof Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset