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 条
  • [1] Deductive tools of an algebraic programming system
    Kapitonova, YV
    Letichevskii, AA
    Volkov, VA
    CYBERNETICS AND SYSTEMS ANALYSIS, 2000, 36 (01) : 12 - 26
  • [2] Deductive tools of system of algebraic programming
    Kapitonova, Yu.V.
    Letichevskij, A.A.
    Volkov, V.A.
    Kibernetika i Sistemnyj Analiz, 2000, (01): : 17 - 35
  • [3] Tools for simulation of parallel computations in a system of algebraic programming
    Matveyeva, LE
    Chugaenko, AV
    CYBERNETICS AND SYSTEMS ANALYSIS, 1999, 35 (03) : 500 - 506
  • [4] Tools for simulation of parallel computations in a system of algebraic programming
    L. E. Matveyeva
    A. V. Chugaenko
    Cybernetics and Systems Analysis, 1999, 35 : 500 - 506
  • [5] ALGEBRAIC PROGRAMMING - METHODS AND TOOLS
    KAPITONOVA, YV
    LETICHEVSKII, AA
    CYBERNETICS AND SYSTEMS ANALYSIS, 1993, 29 (03) : 307 - 312
  • [6] Tools for solving problems in the scope of algebraic programming
    Kapitonova, YV
    Letichevsky, AA
    Lvov, MS
    Volkov, VA
    INTEGRATING SYMBOLIC MATHEMATICAL COMPUTATION AND ARTIFICIAL INTELLIGENCE, 1995, 958 : 30 - 47
  • [7] Objects in algebraic programming system
    A. A. Letichevskii
    V. G. Marinchenko
    Cybernetics and Systems Analysis, 1997, 33 : 283 - 299
  • [8] ALGEBRAIC TOOLS FOR SYSTEM CONSTRUCTION
    BERGSTRA, JA
    KLOP, JW
    TUCKER, JV
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 34 - 44
  • [9] Algebraic Semantics for Deductive Systems
    W. J. Blok
    J. Rebagliato
    Studia Logica, 2003, 74 (1-2) : 153 - 180
  • [10] DEDUCTIVE DATABASE TOOLS
    TOPOR, RW
    KEDDIS, T
    WRIGHT, DW
    AUSTRALIAN COMPUTER JOURNAL, 1985, 17 (04): : 163 - 173
12345