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

Abstract Variables having the meaning of symmetry group parameters have been constructed. The transformation properties of new variables allow one to take into account symmetry properties,… Expand

Abstract The coefficient function (CF) of the operator G 2 = G μv a G aμv in the large quark mass expansion of the correlator of two vector currents is calculated in the two-loop approximation. The… Expand

Explicit screening solutions of the equations of motion are derived in scalar electrodynamics with an external current. It is proved that these solutions are stable if the external charge is not too… Expand