Evidential paradigm and processing of computer mathematical knowledge


  • Z. M. Aselderov
  • A. V. Lialecky
  • L. Z. Frolova


The current vision of the so-called programme “Evidence Algorithm”, is given in the form based on the analysis of investigations for integration of numerical calculations, analytical transformations, and reasoning automation. This vision is shown to correspond to modern integration trends, and to make the evidential paradigm possible.

Author Biographies

Z. M. Aselderov

Aselderov Z.M.

A. V. Lialecky

Lialecky A.V.

L. Z. Frolova

Frolova L.Z.



Progressive information technologies, high-efficiency computer systems