Shvaluk T. Management of process of symbolical transformations at the decision of problems of computer algebra

The dissertation is devoted to means of automatic control by computing process and means of transformation in systems of computer algebra. Properties and realization of the newest system of family the ANALITIC (ANALITIC-2000) are considered in details. The concept of efficiency systems of computer algebra is put in dependence on productivity of the user, which is provided with a high level of artificial intelligence of a system. The intelligence of a system is determined by control facilities and recognition of functional and structural properties of objects of computer algebra. The modifications of functions and operations are set by special mode means, the action of which is distributed to given parts of the program, unlike foreign systems of computer algebra, in which modifications are determined by types of data. The tendency of growth of complexity of mathematical modeling of scientific and applied problems results in increase of a role of a automatic mode concerning interactive.