Description: The study of Employee Benefits has always been aided by using financial algorithms. During recent semesters, the Lotus 1-2-3 package Lotus has been introduced to students due to the explosion of its use in the business community. This paper will show how our students use Lotus to design a spreadsheet for computing minimum annual distributions from tax-sheltered plans.

Description: This paper is a sequel to Shapiro et. al. in that it discusses a similar role for CAI in topics specific to the text Actuarial Mathematics, by Bowers et. al 1986. The topics covered are the previous topics of actuarial notation, basic concepts, and what-if analysis, along with some new ideas for the presentation of stochastic models.

Description: Actuarial literature in the twenty-five years includes discussions of a well known inequality. Among the recent papers on various aspects of this classic result are those by Berin 1970, Olson 1975 and Sarason 1960. A standard method for achieving this inequality uses Jensen's inequality. This is the method used by Bowers, et al 1983. We will also employ this method in an attempt to learn about it.