英格丽德

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

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


zbMATH中的参考文献(引用于,1标准件)

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

  1. 拉森,C.E.;Van Cleemput,N.:自动推测。三、 财产关系猜想(2017)
  2. 拉森,C.E.;Van Cleemput,N.:自动推测。一: Fajtrowicz的达尔马提亚启发式重温(2016)
  3. Aouchiche,M.;Hansen,P.:光谱图论中自动猜想的综述(2010)
  4. Hansen,Pierre;Lucas,Claire:图的无符号拉普拉斯指数的界与猜想(2010)
  5. 克里斯托夫,朱莉;德维兹,索菲;多伊尼翁,让·保罗;法斯本德,吉勒;格雷戈尔,菲利普;惠更斯,大卫;拉布,马丁尼;埃鲁米,苏鲁尔;梅洛特,哈德良;亚曼,汉德:《图不变量之间的线性不等式:使用GraPHedron发现最佳关系》(2008)
  6. Gernert,Dieter;Rabern,Landon:一个基于知识的图论系统,由图着色问题的部分证明证明(2007)
  7. Brankov,V.;Hansen,P.;Stevanović,D.:图的最大拉普拉斯特征值上界的自动猜想(2006)
  8. 汉森,皮埃尔;奥奇奇,穆斯塔法;卡波罗西,吉尔斯;梅洛特,哈德里安;斯特凡诺维奇,德拉根:有趣的猜想在图论中有什么形式?(2005年)
  9. 汉森,皮埃尔;梅洛特,哈德良:计算机与代数图论的发现(2002)
  10. Evans,D.J.;Lambert,A.M.;Milne,A.M.;Taylor,S.:使用INGRID研究飞机天线的透射和反射特性(1998)
  11. Hansen,Pierre;Zheng,Maolin:图的序、大小和稳定数的锐界(1993)
  12. 约瑟夫·尤塞夫(Joseph Ala Qiang,1992年;最小带宽:Juuen Liu;最小尺寸:JuuSe
  13. Brigham,Robert C.;Dutton,Ronald D.:图不变量之间关系的汇编。补编一(1991年)
  14. 达顿,罗纳德D.;布里格姆,罗伯特C.;戈麦斯,费尔南多:英格丽德:一个图形不变操纵器(1989)
  15. Brigham,Robert C.;Dutton,Ronald D.:图的边团覆盖数的上界(1984)
  16. 达顿,罗纳德D.;布里格姆,罗伯特C.:英格丽:极值图论研究的软件工具(1983)