The development of analytical solutions of teletraffic problems is
often impeded by the complexity of the mathematical formulae involved.
In [A15] the important tool of computer-aided
algebraic formula manipulation has been successfully applied, among
others, to the problem how to derive by repeated differentiation
moments from Laplace-transformed distributions, who exhibit a higher order
undetermined form of the type `0/0' [A33].
The reliable numerical evaluation of complex formulae
with multiple sum or integral operations represents a further difficulty,
which quite often prevents the use of such formulae in practical teletraffic
engineering work. Therefore in [A21, A27] two
succeeding versions of an evaluation system called SCAFE
(``System for Computer Aided Formula Evaluation'') have been developed in
close contact to the notation rules of the algebraic system MAPLE,
which has proven its correctness and efficiency in many numerical
computations, e.g. mean value computations in case of the priority
multi-queue system M /G /1-SRPT [A28] or in case
of queueing networks.