Deductive tools of an algebraic programming system

被引：0
|
作者：
Yu. V. Kapitonova
A. A. Letichevskii
V. A. Volkov
机构：
[1] National Academy of Sciences of Ukraine,Cybernetics Institute
来源：
Cybernetics and Systems Analysis | 2000年 / 36卷
关键词：
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;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：12 / 26
页数：14
相关论文
共 50 条
12345