This paper is a survey on universal algorithms for solving the matrix Bellman equations over semirings and especially tropical and idempotent Semirings.Expand

We will describe an approximate rational arithmetic with round-off errors (both absolute and relative) controlled by the user. The rounding proce- dure is based on the continued fraction expansion of… Expand

This paper describes the pr og-ram COLOR which realizes the Cvitanovic al gor ithm /2/ of computation of the gr oup-theoretic weight for the gauge groups SU(n) and SO(n).Expand

A possible way of developing computer algebra systems is an "education" of the system with the capacity for handling new classes of mathematical objects.Expand

Explicit expressions for covariant derivatives of the geodetic interval within the coincident arguments of orders seven and eight are presented. Calculations were made with the help of the REDUCE-2… Expand

Applied in WAMS, phasor measurement units (PMU) have proved their effectiveness in increasing distributed power systems reliability by improving the quality of system state estimation.Expand