分析学

分析:Mathematica的一个定理证明器。分析是对初等定理中定理的自动证明。证明器是用Mathematica语言编写的,并在Mathematica环境中运行。该项目的目标是使用一个强大的符号计算系统证明定理超出了以前的自动定理证明者的范围。定理证明器还能够保证符号计算系统所做的某些步骤的正确性,从而防止常见的错误,如除以可为零的符号表达式。在本文中,我们描述的结构分析和解释的主要技术,它用来构建证据。我们试图使纸尽可能的独立,以便它能被广大潜在用户所接触。


ZBMaCT中的参考文献(31篇文章中引用)

显示结果1至20的31。
按年份排序(引文
  1. Ganesalingam,M;GoeWS,W. T.:一个具有人类风格输出的全自动定理证明器(2017)
  2. Heras,J·弥敦;Maldi-N-MateOS,弗朗西斯科Jes S;Pascual,维柯:ACL2中代数结构和态射的建模(2015)
  3. Sorddii,ONS;Dunchev,Cvetan;Khan Afshar,Sanaz;TaHar,Soffielne:使HOLL光中的符号和数值计算成为可能(2015)
  4. 保尔森,Lawrence C.:MetiTarski的合作系统(2013)
  5. Akbarpour,BeZad;保尔森,Lawrence Charles:MeTiTaSky:一个实值特殊函数的自动定理证明器(2010)
  6. Ingo,萨尔泽,Gernot:形式化软件验证教学工具的比较(2009)
  7. Akbarpour,BeZad;保尔森,Lawrence C.:在初等函数上推广不等式的证明证明(2007)
  8. Cantone,多梅尼科;CICCOTTI,詹卢卡;Galo,乔凡尼:真实分析片段的决策算法。I:具有严格凸性和凹性谓词的连续函数(2006)
  9. 哥特列布森,Hanne;凯尔西,汤姆;马丁,厄休拉:计算数学的隐性验证(2005)
  10. Kutsia,TEMUR;Buchberger,布鲁诺:序列变量和序列函数符号的谓词逻辑(2004)
  11. Ramanathan,Ajthe;米切尔,约翰;ScEdROV,安德烈;Tigg,凡妮莎:网络协议安全性分析的概率互模拟和等价性(2004)
  12. 农民,William M.;von Mohrenschildt,马丁:数学管理的正式框架综述(2003)
  13. Tolga K·K·尼克·A. C. Cem:定性模拟的持续一致性过滤(2003)
  14. OMDEO,Eugenio G.;施瓦兹,Jacob T.:基于一阶集合理论的证明验证者的“理论”机制(2002)
  15. Zimmer,J·RGEN;丹尼斯,Louise A.:MathWeb软件总线中的归纳定理证明和计算机代数(2002)
  16. 阿曼多,Alessandro;CoGoLo,Alessandro;Giunchiglia,Fausto;Ranise,西尔维奥:开放机械推理系统中的控制层:注释和策略(2001)
  17. Beeson,米迦勒:(e)(2001)的非理性的自动推导
  18. 卡普蒂蒂、O.、科恩、A. M.:OpenMaCT在交互式数学文献中的作用(2001)
  19. CaPurTi,奥尔加;奥斯特代克,Martijn:利用计算机代数预言的形式有效的素数证明(2001)
  20. 农民,William M.;von Mohrenschildt,马丁:数学管理的正式框架(2001)