Symbolic computing (Q578835)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Symbolic computing |
scientific article |
Statements
Symbolic computing (English)
0 references
1987
0 references
It is shown that symbolic computing can be effectively applied to derive actuarial formulae and used to prove theorems. Illustrating examples are given through applying the computer package MACSYMA to problems in deriving probability functions for fractional ages, deriving the power series of an annuity coefficient, calculating annuities-certain, inverting a matrix containing a variable in graduation, and providing Jensen's inequality. Using symbolic computing effectively is a first step to building expert systems in actuarial science.
0 references
symbolic computing
0 references
computer package MACSYMA
0 references
probability functions for fractional ages
0 references
power series
0 references
annuity coefficient
0 references
annuities-certain
0 references
Jensen's inequality
0 references