摘要
A.A.Adams、H.Gottliebsen、S.A.Linton和U.Martin。 一种可验证的符号定积分表查找。 技术报告CS/99/3，圣安德鲁斯大学，1999年。 谷歌学者 
E.Brinksma，编辑。 系统构建和分析的工具和算法（TACAS’97） Springer-Verlag LNCS 12171997年。 谷歌学者 M.布朗斯坦。 符号集成I Springer-Verlag出版社，柏林，1997年。 先验功能。 谷歌学者 C.W.Brown。 真变柱面代数分解的简化。 在Gloor{Glo98}中，第295-301页。 谷歌学者 A.邦迪，编辑。 CADE-12：第十二届自动扣除国际会议：会议记录 Springer-Verlag LNAI 8141994年。 谷歌学者 J.Calmet和J.A.Campbell，编辑。 符号数学计算与人工智能的集成 Springer-Verlag LNCS 9581994年。 谷歌学者 J.Calmet和C.Limongelli，编辑。 符号计算系统的设计与实现，1996年DISCO国际研讨会 Springer-Verlag LNCS 11281996年。 谷歌学者 E.Clarke和X.Zhao。 结合符号计算和定理证明：Ramanujan的一些问题。 在Bundy｛Bun94｝中，第758-763页。 谷歌学者 J.H.达文波特。 非常强大的集成算法。 正在准备中。 谷歌学者 N.G.de Bruijn公司。 AUTOMATH项目调查。 在Seldin和Hindley｛SH80｝中，第579-606页。 谷歌学者 S.Dalmas、M.Gaétano和C.Huchet。 数学公式演绎数据库。 在Calmet和Limongelli{CL96}。 谷歌学者 S.Dalmas、M.Gaétano和S.Watt。 OpenPath 1.0实现。 在Küchlin{Küc97}中，第241-248页。 谷歌学者 J.H.Davenport、Y.Siret和E.Tournier。 计算机代数。 学术出版社，伦敦，第二版，1993年。 谷歌学者 B.Dupée。 用计算机代数求初等实函数的奇点。 可从作者处获得， [电子邮件保护] ，1998年。 谷歌学者 B.杜特雷。 PVS中的数学分析要素。 在von Wright等人{vWGH96}中。 谷歌学者 T.Einwohner和R.J.Fateman。 积分表的搜索技术。 在Levet{Lev95}中，第133-139页。 谷歌学者 R.J.Fateman和T.Einwohner。 TILU积分表查找。 Web服务。 http://http.cs.berkeley.edu/ ~fateman/htest.html。 谷歌学者 J.Fleuriot和L.Paulson。 将非标准分析与几何定理证明相结合，并应用于牛顿原理。 基什内尔和基什内尔{KK98}，第3-16页。 谷歌学者 W.Groébner和N.Hofreiter。 Integraltafel公司 施普林格·弗拉格，维也纳，1961年。 谷歌学者 O.Gloor，编辑。 1998年符号和代数计算国际研讨会论文集 ACM出版社，1998年。 谷歌学者 J.哈里森。 定理的实数证明 Springer-Verlag，1998年。 谷歌学者 K.Homann和J.Calmet。 结合定理证明和符号数学计算。 在Calmet和Campbell（CC94）中，第18-29页。 谷歌学者 A.见鬼。 枫树简介 Springer-Verlag，纽约，第二版，1996年。 谷歌学者 J.Harrison和L.Théry。 用计算机代数系统扩展HOL定理证明器，以对实数进行推理。 乔伊斯和塞格（Joyce and Seger）{JS94}，第174-185页。 谷歌学者 R.D.Jenks和R.S.Sutor。 AXIOM公司 Springer-Verlag，1992年。 谷歌学者 J.J.Joyce和C-J.H.Seger，编辑。 高阶逻辑定理证明及其应用 柏林，1994年。 斯普林格-Verlag LNCS 780。 谷歌学者 M.Klerer和F.Grossman。 不定积分表中的错误率。 工业数学学会杂志 , 18:31-62, 1968. 谷歌学者 C.Kirchner和H.Kirchner，编辑。 CADE-15：第十五届自动扣除国际会议：会议记录 Springer-Verlag LNAI 14211998年。 谷歌学者 M.Kerber、M.Kohlhase和V.Sorge，《计算机代数与证明规划的集成》。 在Calmet和Limongelli{CL96}。 谷歌学者 W·W·Küchlin，编辑。 1997年符号和代数计算国际研讨会论文集 ACM出版社，1997年。 谷歌学者 A.H.M.Levet，编辑。 1995年第六届符号与代数计算国际研讨会论文集 Springer-Verlag LNCS 10041995年。 谷歌学者 U.马丁。 计算机、推理和数学实践。 在计算逻辑中，北约高级科学。 仪器序列号。 F计算。 系统科学。， 1998 谷歌学者 S.Owre、J.Rushby和N.Shankar。 PVS中的集成：表、类型和模型检查。 在Brinksma｛Bri97｝中，第366-383页。 谷歌学者 J.P.Seldin和J.R.Hindley，编辑。 致H.B.Curry：关于组合逻辑、lambda微积分和形式主义的论文 .学术出版社，1980年。 谷歌学者 D.斯托特迈尔。 计算机代数行业中的犯罪和轻罪。 AMS的通知 , 38:779-785, 1991. 谷歌学者 L.Th等人。 Buchberger算法的认证版本。 基什内尔和基什内尔{KK98}，第349-364页。 谷歌学者 A.Trybulec公司。 Mizar-QC 6000逻辑信息语言。 ALCC公告 , 6:136-140, 1978. 谷歌学者 J.von Wright、J.Grundy和J.Harrison，编辑。 高阶逻辑中的定理证明：第九届国际会议 Springer-Verlag LNCS 11251996年。 谷歌学者 Wolfram Research Inc.集成器：世界从未见过的进行积分的能力， http://www.integrations.com。 谷歌学者 D.Zwillinger、S.G.Krantz和K.H.Rosen，编辑。 CRC标准数学表和公式 CRC出版社，佛罗里达州博卡拉顿，第30版，1996年。 谷歌学者 D.Zwillinger。 标准数学互动。 光盘，1998年。 谷歌学者
建议
组合语义下联合查询的等价性和最小化 ICDT’12：第15届数据库理论国际会议论文集 查询包含、等价和最小化问题是查询处理和优化上下文中的基本问题。 在1977年出版的经典著作[2]中，Chandra和Merlin解决了语言的三个问题。。。 关于可信度测度的Choquet积分 证明了Choquet积分作为单调测度的积分形式是非常合理的，其中可信度测度是具有自对偶性的特殊情况。 本文的主要目的是提出可测函数的Choquet积分。。。
