The development of interactive algorithms for the Mathematical Environment
Alexander A. Letichevsky, J. V. Kapitonova, V. A. Volkov, A. Chugayenko, Vadim Khomenko, DAVID R. GILBERT · Electronic Notes in Theoretical Computer Science · 1999
The Mathematical Environment which is under development at the Glushkov Institute of Cybernetics is a system of tools supporting the interactive manipulation of knowledge represented in the form of (formalized) mathematical texts. The system is implemented using a simulator for the Action Language, which has itself been developed using the algebraic programming system APS. The theoretical background of this project is the theory of interaction of agents and environments, constraint solving and the Evidence Algorithm. The main concepts underlying the project and the methodology of its development are explained in this paper in terms of the theory of interaction. The Evidence Algorithm is considered as an example of an interactive algorithm for the Mathematical Environment.