跳到主要内容
文章

INGRID:一种图不变量操纵器

作者信息和声明
出版:1989年2月1日出版历史
跳过抽象节

摘要

描述了一个帮助图论研究人员和学生的软件系统INGRID。它是一个使用前向链的基于部分交换规则的系统,由大约1200条生产规则组成,在UNIX下用Berkeley Pascal在VAX 11/780上编写。INGRID有一个包含36个图形不变量的数据库,以及大约350个与这些不变量符号相关的定理。INGRID通过定理将用户提供的对某些不变量值的一组或多个限制传播到其他不变量的可能值区间。借助INGRID提供的简单用户界面,即使是图论新手也能经常识别出通常需要消息灵通专家才能识别的图形属性。

工具书类

  1. Behzad等人,1979年。收录:图和有向图,加利福尼亚州贝尔蒙特沃兹沃斯。谷歌学者谷歌学者
  2. 伯奇,1973年。In:Graphs and Hypergraph,爱思唯尔,纽约。谷歌学者谷歌学者
  3. Bondy和Murty,1976年。在:图论与应用,爱思唯尔,纽约。谷歌学者谷歌学者
  4. Brigham和Dutton,1985年。图不变量之间关系的汇编。网络。v15.73-107。谷歌学者谷歌学者
  5. 库克,1981年。收录于:Chartrand,G.,Alavi,Y.,Goldsmith,D.L.,Lesniak-Foster,L.,Lick,D.R.(编辑),《图的理论和应用》(第四届图的理论与应用国际会议论文集,John Wiley,纽约,第610页谷歌学者谷歌学者
  6. 戴维斯和金,1984年。基于规则的系统的起源。摘自:Buchanan,B.G.,Shortiffe,E.H.(编辑),基于规则的专家系统,Addison-Wesley,Reading,马萨诸塞州,第20-52页。谷歌学者谷歌学者
  7. Dutton和Brigham,1983年。INGRID:极值图理论研究的软件工具。数值国会。第39.337-352节。谷歌学者谷歌学者
  8. 戈麦斯和钱德拉塞卡兰,1981年。医疗诊断知识的组织和分配。IEEE传输。系统。,人与控制论。vSMC-11。34-42.谷歌学者谷歌学者
  9. Harary,1969年。In:图论,Addison-Wesley,Reading,MA。谷歌学者谷歌学者
  10. Lipman和Sedlmeyer,1986年。图论研究专家系统的发展。载于:《1986年美国计算机学会计算机科学会议论文集》,第327-330页。谷歌学者谷歌学者
  11. 尼尔森,1980年。在:人工智能原理,Tioga,Palo Alto,CA。谷歌学者谷歌学者
  12. Pavelle和Wang,1985年。马西玛从F写给G.J.Symb。公司。第69-100节。谷歌学者谷歌学者数字图书馆数字图书馆
  13. 里德,1978年。计算机在图论中的一些应用。摘自:Beineke,L.W.,Wilson,R.J.(编辑),图论专题选集,学术出版社,伦敦-纽约,第417-444页。谷歌学者谷歌学者
  14. 斯坦利,1987年。边为e的图的谱半径的界。线性代数应用。v87.267-269。谷歌学者谷歌学者

索引术语

  1. INGRID:一种图不变量操纵器

      建议

      评论

      登录选项

      检查您是否可以通过登录凭据或您的机构访问本文。

      登录

      完全访问权限

      • 发布于

        封面图片符号计算杂志
        符号计算杂志 第7卷第2期
        1989年2月
        96页
        国际标准编号:0747-7171
        期刊目录

        版权所有©学术出版社有限公司©1989

        出版商

        学术出版社。

        美国

        出版历史

        • 出版:1989年2月1日

        限定符

        • 文章