数学网站

系统描述:用于分布式数学推理的MathWeb软件总线。在过去的十年中,自动推理系统已经达到了高度的成熟度。许多推理任务可以被委托给自动定理证明器(ATP),通过将它们编码到其接口逻辑中,简单地调用系统并等待证明,在大多数情况下这将在不到一秒钟的时间内到达。尽管这个看似理想的情况,ATPs很少被实际使用的人,而不是他们自己的开发人员。原因似乎是,其他领域的实践者很难找到关于定理证明软件的信息,以决定哪一个系统最适合于手边的问题,安装它,并应对通常特殊的具体输入语法。当然,不仅潜在的外部用户面临这些问题,因此,常常是,现有的推理程序被重新实现而不是重新使用。


ZBMaX中的参考文献(18篇)1标准条款

显示结果1至18的18。
按年份排序(引文

  1. 刘,银平;姚,Ruoxia;李,Zhibin;杨,LE;张,Zhian:微分方程在线计算和知识平台(2016)
  2. 亚诺,Maria Teresa;爱尔兰,安得烈;Pease,艾丽森:通过自动理论形成发现不变量(2014)伊波尔特
  3. Carette、贾可、农民、William M.、索格、Volker:实验数学体系的理性重构(2007)
  4. 艾伦,S. F.;Bickford,M;康斯特布尔,R. L.;伊顿,R;Kriz,C.;LeRoGo,L.;莫兰,E.:用NUPRL(2006)计算型理论的创新(英文)
  5. 科尔顿,西蒙;Miggelon,史蒂芬:归纳逻辑程序设计的数学应用(2006)
  6. 科尔顿,西蒙;Miggelon,史蒂芬:归纳逻辑程序设计的数学应用(2006)伊波尔特
  7. Siekmann,J.O.R.G;克里斯托夫,Autxier-SerGe:计算机支持的数学(ω)mega(2006)
  8. 克里斯托夫,迈耶,安德烈亚斯;SoGe,Volker:桥接定理证明和数学知识检索(2005)
  9. 科尔顿,西蒙:用HR、水獭和槭树进行数论的自动猜想(2005)
  10. Kamareddine,Fairouz;马雷克,曼努埃尔;威尔斯,J. B.:计算机上数学的灵活编码(2004)
  11. Lorigo,洛里;克莱因伯格,乔恩;伊顿,李察;康斯特布尔,罗伯特:一种基于图论的形式数学数字图书馆内在结构识别方法(2004)
  12. Lyaletski,亚力山大;帕斯凯维奇,安德烈;维尔钦,康斯坦丁:系统SAD(2004)中的定理证明和证明验证
  13. Siekmann,J.O.R.G;克里斯托夫(:Omega):计算机支持的数学(2004)
  14. Zimmer,J·RGEN;梅利斯,埃莉卡:证明计划的约束求解(2004)
  15. Siekmann,J,菲德勒,A,迈耶,A;Pollet,M::(Omega)mega的证明发展:(\SqRT2)是非理性的(2002)
  16. Zimmer,J·RGEN;丹尼斯,Louise A.:MathWeb软件总线中的归纳定理证明和计算机代数(2002)
  17. Zimmer,J·RGEN;Kohlhase,米迦勒:系统描述:分布式数学推理的MthWEB软件总线(2002)
  18. 迈耶,安德烈亚斯:系统描述:Tramp。机器发现证据转化为断言级别的自然演绎证明(2000)