Technologies used by actuaries