卡姆 swMATH ID: 480 软件作者: 尼谢娃·帕夫洛娃,玛丽亚·M。 描述: KAM–用于开发计算机代数系统的基于知识的工具。本文描述了KAM,这是索非亚大学数学与信息学院开发的用于构建计算机代数系统的基于知识的工具。分析了KAM的主要特征。简要描述了KAM的体系结构以及工具转换规则、框架、重写规则和广义规则支持的知识表示形式。介绍了正在开发的计算机代数实验系统STRAMS,作为KAM的应用程序。 主页: https://www.zbmath.org/?q=an:0500322 关键词: 智能计算机代数系统;知识表示工具 相关软件: 引用于: 1文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 KAM–用于开发计算机代数系统的基于知识的工具。 Zbl 1079.68628号尼谢娃·帕夫洛娃,玛丽亚·M。 1998 由1位作者引用 1 尼谢娃·帕夫洛娃,玛丽亚·M。 连载1篇 1 Godishnik na Sofiĭskiya大学“Sv.Kliment-Okhridski”。Fakultet po Matematika i Informatika公司 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文