英格丽德

介绍了一个辅助图论研究者和学生的软件系统INGRID。它是一个基于规则的部分交换系统,使用前向链,由大约1200条产生式规则组成,在UNIX下用Berkeley Pascal编写在vax11/780上。英格丽有一个数据库,有36个图形不变量和大约350个象征性地联系这些不变量的定理。英格丽德通过定理将一组或多个用户提供的对某些不变量值的限制传播到其他不变量的可能值区间中。有了INGRID提供的简单用户界面,即使是图论新手也能经常辨别出图的属性,而这些属性通常需要知识渊博的专家的能力。

这个软件也是同行评审按日记帐汤姆斯.


zbMATH中的参考文献(参考文献16条,1标准件)

显示第1到16个结果,共16个。
按年份排序(引用)

  1. 拉森,C。E、 。;Van Cleemput,N.:自动推测。三、 财产关系猜想(2017)
  2. 拉森,C。E、 。;Van Cleemput,N.:自动推测。一: Fajtrowicz的达尔马提亚启发式重温(2016)
  3. 奥奇切,M。;Hansen,P.:光谱图论自动猜想综述(2010)
  4. 汉森,皮埃尔;Lucas,Claire:图的无符号拉普拉斯指数的界与猜想(2010)
  5. 克里斯托夫,朱莉;德维兹,索菲;多尼翁,让保罗;法斯本德,吉尔;Gr公司é甲状腺肿,菲利普;惠更斯,大卫;拉布é, 马丁尼;埃鲁米,苏鲁尔;é洛特,哈德良;Yaman,Hande:图不变量之间的线性不等式:使用GraPHedron发现最佳关系(2008)
  6. 格内特,迪特;Rabern,Landon:图着色问题部分证明的图论知识系统(2007)
  7. 布拉科夫,V。;汉森,P。;斯特凡诺维ć, D、 :图的最大拉普拉斯特征值上界的自动猜想(2006)
  8. 汉森,皮埃尔;奥奇切,穆斯塔法;卡波罗西,鳃;é洛特,哈德良;斯特凡诺维ć, 图论中有趣的猜想有哪些形式(2005年)
  9. 汉森,皮埃尔;é洛特:计算机与代数图论的发现(2002)
  10. 埃文斯,D。J、 。;兰伯特,A。;米尔恩,A。M、 。;Taylor,S.:使用INGRID研究飞机天线的透射和反射特性(1998)
  11. 汉森,皮埃尔;郑茂林:图的序、大小和稳定数的锐界(1993)
  12. 阿拉维,尤瑟夫;刘久强;麦卡娜,约瑟夫;Erd公司ős、 Paul:关于给定带宽的图的最小尺寸(1992)
  13. 罗伯特·C·布里格姆。;图不变量之间关系的汇编。补编一(1991年)
  14. 达顿,罗纳德D。;罗伯特·C·布里格姆。;戈麦斯,费尔南多:英格丽德:图不变操纵器(1989)
  15. 罗伯特·C·布里格姆。;图的边团覆盖数的上界(1984)
  16. 达顿,罗纳德D。;Brigham,Robert C.:INGRID:极值图论研究的软件工具(1983)