Symbolic computing

DOI10.1016/0167-6687(87)90014-XMaRDI QIDQ578835zbMATH OpenOpenAlexFDO

Authors Fung Yee Chan

Publication date 1987

Published in Insurance Mathematics \& Economics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6687(87)90014-x

zbMATH Keywords

annuities-certainannuity coefficientcomputer package MACSYMAJensen's inequalitypower seriesprobability functions for fractional agessymbolic computing

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to statistics (62-04) Applications of statistics to actuarial sciences and financial mathematics (62P05) Probabilistic methods, stochastic differential equations (65C99) Symbolic computation and algebraic computation (68W30)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 4137315
• MACSYMA from F to G
• scientific article; zbMATH DE number 4066200
• scientific article; zbMATH DE number 3974285
• scientific article; zbMATH DE number 774961

Cites work

• scientific article; zbMATH DE number 3934397 (Why is no real title available?)
• scientific article; zbMATH DE number 3049826 (Why is no real title available?)
• The maple symbolic computation system

Cited in

(10)

• Symbolic evaluation with structural recursive symbolic constants
• Advances in the design of symbolic computation systems
• Symbolic computation with monotone operators
• Programming and symbolic computation in Maude
• Computability and human symbolic output
• scientific article; zbMATH DE number 45082 (Why is no real title available?)
• Mittel zur rationalisierung der aktuariellen arbeit
• scientific article; zbMATH DE number 1396170 (Why is no real title available?)
• Symbolic computation in automated program reasoning
• Symbolic computation using L-systems

Describes a project that uses

Uses Software

• MACSYMA
• REDUCE

This page was built for publication: Symbolic computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q578835)