Title :
On proofs and generalizations for some formulas in actuarial mathematics
Author_Institution :
Coll. of Inf. Tech. Sci., Nankai Univ., Tianjin, China
Abstract :
In this paper, we try to give some proofs and generalizations for some formulas in actuarial mathematics. At first, we generalize recursive formulas for reserves at fractional durations for frequently collected premiums in a year. Secondly, under the assumption of uniform distribution of deaths in each year of age, strict proofs are provided for relation formulas to actuarial present values of life annuities with single payment or mthly payments in a year.
Keywords :
generalisation (artificial intelligence); insurance; recursive functions; risk management; theorem proving; actuarial mathematics; generalizations; life annuities; payment; proofs; recursive formulas; Educational institutions; Electronic mail; Mathematics; TV; Actuarial Mathematics; Net Premium; Reserves;
Conference_Titel :
Control Conference (CCC), 2011 30th Chinese
Conference_Location :
Yantai
Print_ISBN :
978-1-4577-0677-6
Electronic_ISBN :
1934-1768
