Evidential paradigm and processing of computer mathematical knowledge

Authors

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

Abstract

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.

Downloads

Issue

No. 1 (2004)

Section

Progressive information technologies, high-efficiency computer systems

License

This is an open access journal which means that all content is freely available without charge to the user or his/her institution. Users are allowed to read, download, copy, distribute, print, search, or link to the full texts of the articles in this journal without asking prior permission from the publisher or the author. This is in accordance with the BOAI definition of open access.