• Publications
  • Influence
Universal algorithms for solving the matrix Bellman equations over semirings
TLDR
This paper is a survey on universal algorithms for solving the matrix Bellman equations over semirings and especially tropical and idempotent Semirings. Expand
  • 10
  • 1
  • PDF
Interactive REDUCE
TLDR
This paper deals with some distinctive characteristics of the REDUCE-2 computer algebra system operating in interactive mode. Expand
  • 4
Universal algorithms, mathematics of semirings and parallel computations
TLDR
This is a survey paper on applications of mathematics of semirings to numerical analysis and computing. Expand
  • 11
  • PDF
APPROXIMATE RATIONAL ARITHMETICS AND ARBITRARY PRECISION COMPUTATIONS FOR UNIVERSAL ALGORITHMS
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 ofExpand
  • 8
  • PDF
Dynamic-debugging system for the REDUCE programs
TLDR
This paper describes a dynamic-debugging system for programs written in REDUCE. Expand
  • 3
Usage of REDUCE for computations of group-theoretical weight of Feynman diagrams in non-Abelian gauge theories
TLDR
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
  • 1
Combinatorial aspects of simplification of algebraic expressions
TLDR
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
  • 13
Computation of covariant derivatives of the geodetic interval with coincident arguments
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-2Expand
  • 5
Extending Functionality and Application Scope of Synchronised Phasor Measurement Technology
TLDR
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
  • 2
Unifying Approach to Software and Hardware Design for Scientific Calculations
TLDR
A unifying approach to software and hardware design generated by ideas of Idempotent Mathematics is discussed. Expand
  • 5
  • PDF