斯特拉姆斯 swMATH ID: 918 软件作者: Nisheva-Pavlova,Maria M。 描述: 智能计算机代数系统STRAMS中的知识表示和问题求解。本文讨论了索非亚大学数学与信息学院正在开发的智能计算机代数系统STRAMS。简要介绍了STRAMS的功能设施和体系结构。本报告重点讨论与建议的知识表示形式、STRAMS知识库的结构和内容以及实施的数学问题解决和学习机制有关的问题。 主页: https://zbmath.org/?q=an:050000338 关键词: 数学知识表示;解决问题;智能计算机代数系统 相关软件: 引用于: 1文件 1位作者引用 1 Nisheva-Pavlova,Maria M。 连载1篇 1 Godishnik na Sofiĭskiya大学“Sv.Kliment-Okhridski”。Fakultet po Matematika i Informatika公司 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文