|
|||||
|
|
Deductive tools of an algebraic programming system |
|
| Authors: | Yu. V. Kapitonova A. A. Letichevskii V. A. Volkov |
| Affiliation: | (1) Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine |
| Abstract: | A mathematical environment is a system of tools supporting interactive manipulation of knowledge represented in the form of (formalized) mathematical texts. A theoretical substantiation of a project proposed is the theory of interaction of agents and environments. At the present time, this theory is realized on the basis of a simulator of an action language developed in an algebraic programming system called APS. Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 17–34, January–February, 2000. |
| Keywords: | mathematical texts automation of processing of mathematical texts mathematical models formalized requirements mathematical specifications deductive tools algebraic programming mathematical information environments mathematical agents languages and algebras of actions |
| 本文献已被 SpringerLink 等数据库收录！ | |