An improved finite-time ruin probability formula and its Mathematica implementation

An improved version of a ruin probability formula due to Ignatov and Kaishev [Scand. Actu. J. 1 (2000) 46], allowing for the exact evaluation of the finite-time survival probability for discrete, dependent, individual claims, Poisson claim arrivals and arbitrary, increasing premium income function is derived. Its numerical efficiency is studied, using the Mathematica system. Numerical results are provided and computational aspects are discussed. A Mathematica module, realizing the Picard and Lefèvre [Scand. Actu. J. 1 (1997) 58] formula has also been developed and used for numerical investigations.