摘要
Abramowitz，M.和Stegun，I.，《数学函数与公式、图形和数学表手册》。 J.Wiley&Sons公司，1984年5月。 谷歌学者 
数字图书馆 
Arnon，D.S.，基于聚类的CAD算法。 《符号计算杂志》，5（1/2）189--2121988年。 谷歌学者 数字图书馆 Beaumont，J.、Bradford，R.和Davenport，J..通过幂级数更好地简化初等函数。 在ISSAC 2003（2003）中，J.R.Sendra，Ed.，ACM，纽约，30-36。 谷歌学者 数字图书馆 Beaumont，J.，Bradford，R.，Davenport，J.&Phisanbut，N.简化初等函数的多算法方法。 ISSAC 2004（2004）。 J.Gutierrez，编辑，ACM，纽约，27-34。 谷歌学者 数字图书馆 Beaumont，J.C.，Bradford，R.&Phisanbut，N.使用CAD对初等函数进行实用简化。 在算法代数和逻辑2005。 谷歌学者 ---. 有效简化准备中的初等函数。 谷歌学者 Bradford，R.、Corless，R.，Davenport，J.、Jeffrey，D.和Watt，S.《关于复杂分析基本功能的推理》。 Ann.数学与 人工智能36，（2002），303--318。 谷歌学者 数字图书馆 Bradford，R.和Davenport，J.朝着更好地简化初等函数的方向发展。 程序中。 ISSAC（2002），T.Mora，Ed.，ACM，纽约，15-22。 谷歌学者 数字图书馆 Carette，J.理解表达式简化。 在ISSAC 2004（2004）中，Jaime Gutierrez，Ed.，ACM，纽约，72-79。 谷歌学者 数字图书馆 Collins，G.通过圆柱代数分解消除实闭域的量词。 程序。 第二。 GI Conf.Automata Theory&Formal Languages（1975），SLNCS第33卷。 谷歌学者 数字图书馆 Collins，G.&McCallum，S.圆柱代数分解的局部盒邻接算法。 《符号计算杂志》，33（3）：321-3422002。 谷歌学者 数字图书馆 Corless，R.、Davenport，J.、Jeffrey，D.和Watt，S.根据Abramowitz和Stegun。 SIGSAM公告34，2（2000），58-65。 谷歌学者 数字图书馆 Corless，R.M.和Jeffrey，D.J.《展开数》。 SIGSAM牛市。 30（1996）2，第116期，28--35。 谷歌学者 数字图书馆 Corless，R.、Gonnet，G.、Jeffrey，D.、Hare，D.和Knuth，D.关于Lambert W函数。 《计算数学高级》5，（1996），329--359。 谷歌学者 交叉引用 
Davenport，J.H.，Cn的几何对初等函数代数很重要。， 《代数、几何和软件系统》207-224，（2003）。 谷歌学者 Davenport，J.H.，《从书本到计算机的MKM：MKM 2003案例研究》，17-29，A.Asperti，B.Buchberger，J.H。 谷歌学者 数字图书馆 Davenport，J.和Heintz，J.实际量词消除是双指数的。 J.符号计算5，（1988），29-35。 谷歌学者 数字图书馆 多尔兹曼。 A、 塞德尔。 A&Sturm公司。 T.CAD的高效投影顺序。 程序中。 ISSAC（2004），Jaime Gutierrez编辑，ACM，纽约，111-118。 谷歌学者 数字图书馆 Fateman，R.J.和Dingle，A.《计算机代数中的分支切割》。 在ISSAC 1994中，ACM出版社，纽约，1994，250-257。 谷歌学者 数字图书馆 D.Yu·格里戈里耶夫 Vorobjov，N.N.Jr.计算半代数集在次指数时间内的连接分量。 计算复杂性2（1992）133-184。 谷歌学者 数字图书馆 Gabrielov，A.和Vorobjov，N.亚Pfaffian集圆柱分解的复杂性。 J.纯应用。 《代数》164（2001），179--197。 谷歌学者 交叉引用 Jeffrey，D.J.和Norman，A.C.没有看到分支的根：计算机代数中的多值函数。 SIGSAM公告第38卷（2004）第3期，第149期，第57--66页。 谷歌学者 数字图书馆 Moses，J.代数简化，困惑指南。 《计算数学进展》第14卷第8期（1971年）。 谷歌学者 H.Hong等人，通过部分圆柱代数分解进行量化消除。 网址：http://www.cs.usna.edu/ ~qepcad/B/qepcad.html 谷歌学者 Richardson，D.涉及实变量初等函数的一些不可解问题。 《符号逻辑杂志》33（1968），514-520。 谷歌学者 交叉引用 Richardson，D.如何识别零。 《符号计算杂志》（1994），24（6），627--646。 谷歌学者 数字图书馆 van der Hoeven，J.形式幂级数的新零检验。 在ISSAC 2002（2002）中，T.Mora，Ed.，ACM，纽约，117-122。 谷歌学者 数字图书馆
建议
计算由平面代数曲线定义的单值群 SNC’07：2007年符号数字计算国际研讨会会议记录 我们提出了一种符号-数字方法来计算平面代数曲线的单值群，将其视为复平面的分支覆盖空间。 根据定义，我们的算法基于代数函数的解析延拓。。。 梅林变换环境中的Paley-Wiener定理 本文在梅林变换的框架下建立了傅里叶分析的Paley-Wiener定理的一个版本。 我们提供了两种不同的证明，一种涉及复杂的分析论证，即对数的黎曼曲面和柯西曲面。。。
