罗伯特·刘易斯。;吴敏超 Lean和Mathematica之间的双向可扩展接口。 (英文) Zbl 07538895号 J.汽车。推理 第2期第66页,第215-238页(2022年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Y.Lewis}和textit{M.Wu},J.Autom。推理66,No.2,215--238(2022;Zbl 07538895) 全文: 内政部 arXiv公司
都铎Jebelean 用于元素分析的启发式证明程序枣灰蝶属. (英文) Zbl 1485.68284号 Kamaredine,Fairouz(编辑)等人,《智能计算机数学》。2021年7月26日至31日,罗马尼亚蒂米苏拉第十四届国际会议,CICM 2021。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。12833130-134(2021年)。MSC公司:68伏15 26-01 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Jebelean},莱克特。注释计算。科学。12833,130-134(2021;Zbl 1485.68284) 全文: 内政部
塞迪基,昂山素季;Cvetan Dunchev公司;卡恩·阿夫沙尔·萨纳兹;索菲涅·塔哈尔 在HOL Light中实现符号和数值计算。 (英文) Zbl 1417.68193号 Kerber,Manfred(编辑)等人,《智能计算机数学》。国际会议,CICM 2015,华盛顿特区,美国,2015年7月13日至17日,会议记录。查姆:斯普林格。勒克特。注释计算。科学。9150, 353-358 (2015).MSC公司:68吨15 68单位35 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{O.Seddiki}等人,Lect。注释计算。科学。9150353--358(2015;Zbl 1417.68193) 全文: 内政部
乔纳森·赫拉斯;马丁·马特奥斯,弗朗西斯科·杰苏斯;维科·帕斯夸尔 在ACL2中建模代数结构和形态。 (英文) Zbl 1325.68214号 申请。代数工程通讯。计算。 26,第3期,277-303(2015).MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Heras}等人,应用。代数工程通讯。计算。26,第3号,277--303(2015;Zbl 1325.68214) 全文: 内政部 链接
坎通纳,多梅尼科;吉安卢卡·辛科蒂;乔瓦尼·加洛 实际分析片段的决策算法。一: 具有严格凸性和凹性谓词的连续函数。 (英文) 邮编1125.03009 J.塞姆。计算。 41,第7期,763-789(2006).MSC公司:03B25号 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,J.Symb。计算。41,第7号,763--789(2006;Zbl 1125.03009) 全文: 内政部
汉内·戈特利布森;汤姆·凯尔西;乌苏拉·马丁 计算数学的隐藏验证。 (英文) Zbl 1126.68103号 J.塞姆。计算。 39,第5期,539-567(2005).MSC公司:68瓦30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Gottliebsen}等人,J.Symb。计算。39,编号53539-567(2005年;Zbl 1126.68103) 全文: 内政部
萨特克利夫,杰夫;克里斯蒂安·萨特纳 评估通用自动定理证明系统。 (英文) Zbl 0996.68182号 Artif公司。智力。 131,编号1-2,39-54(2001).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe}和\textit{C.Suttner},Artif。智力。131,编号1-2,39-54(2001年;Zbl 0996.68182) 全文: 内政部
迈克尔·科尔哈斯;安德烈亚斯·弗兰克 MBase:表示数学软件系统集成的知识和上下文。 (英文) Zbl 0981.68153号 J.塞姆。计算。 32,第4期,365-402(2001).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}和\textit{A.Franke},J.Symb。计算。32,第4号,365--402(2001;Zbl 0981.68153) 全文: 内政部
埃德蒙·克拉克;赵旭东 结合符号计算和定理证明:Ramanujan的一些问题。 (英文) Zbl 1433.68541号 阿兰·邦迪(编辑),《自动扣除——CADE-12》。第十二届国际会议,法国南希,1994年6月26日至7月1日。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。814, 758-763 (1994).MSC公司:68伏15 33层10 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}和\textit{X.Zhao},Lect。注释计算。科学。814758--763(1994年;Zbl 1433.68541) 全文: 内政部 链接