摘要
1 CAPRANI，O.，MADSEN，K.，AND RALL，L.B.区间函数的积分。 SIAM J.数学。 分析。 12, (1981), 321-341. 谷歌学者 
2 计算机代数：过去与未来。 J.符号计算。 2 (1986), 217-236. 谷歌学者 三 CHAR，B.W.，FEE，G.J.，GEDDES，K.O.，GONNET，G.H.，AND MONAGAN，M.B.枫叶教程简介。 J.符号计算。 2 (1986), 179-200. 谷歌学者 4 CHERRY，G.W.：有限项与特殊函数的积分：误差函数。 J.符号计算。 1（1985），第283-302页。 谷歌学者 5 CORLIS，G.F.和RALL，L.B.自适应自验证数值求积。 SIAM J.科学。 星星。 计算。 8, 5 (1987), 831-847. 谷歌学者 6 DAVIS，P.J.和RABINOWITZ，P.《数值积分方法》。 学术出版社，佛罗里达州奥兰多，1975年。 谷歌学者 7 FITCH，J.用REDUCE解决代数问题。 J.符号计算。 1 (1985), 211-227. 谷歌学者 8 IBM CORPORATION A CRITH高精度子程序库：通用信息手册，GC33-6163-02。 IBM，布林根，西德，1986年。 谷歌学者 9 KAUCHER，E.和MIRANKER，W.L.《函数空间问题的自验证数值：保证/或微分和积分方程的计算》。 学术出版社，佛罗里达州奥兰多，1984年。 谷歌学者 10 KEDEM，G.计算机程序的自动区分。 ACM事务处理。 数学。 柔和。 6，2（1980年6月），150-165。 谷歌学者 11 KRENZ，G.S.计算伽马函数及其导数的包含。 科技代表259，马奎特大学数学、统计和计算机科学系，密尔沃基，威斯康星州，1987年。 谷歌学者 12 KULISCH，U.，编辑：Pascal-SC手册和系统磁盘。 Wiley-Teubner，斯图加特，1986年。 谷歌学者 13 LYNESS，j.N和KAGANOVE，j.j.关于自动正交程序性质的评论。 ACM事务处理。 数学。 柔和。 第2、1页（1976年3月），第65-81页。 谷歌学者 14 摩尔，R.E.区间分析。 普伦蒂斯·霍尔，恩格尔伍德悬崖，新泽西州，1966年。 谷歌学者 15 MOORE，R.E.非线性方程解的双面近似——经典分析、泛函分析和区间分析方法的比较。 《区间数学》，K.Nickel，Ed.Springer计算机科学讲稿，29，Springer-Verlag，纽约，1975年，第31-47页。 谷歌学者 16 MOORE，R.E.区间分析方法与应用。 宾夕法尼亚州费城SIAM，1979年。 谷歌学者 17 PIESSENS，R.、DE DONCKER-KAPENGA，E.、UBERHUBER，C.W.和KAHANER，D.K.QUAD-PACK：自动集成子程序包。 施普林格计算数学系列，1，施普林格出版社，纽约，1983年。 谷歌学者 18 RALL，L.B.自动差分：技术与应用。 施普林格计算机科学讲义，120，施普林格-弗拉格，纽约，1981年。 谷歌学者 19 RAND，R.H.《应用数学中的计算机代数：MACSYMA导论》。 马萨诸塞州马什菲尔德市皮特曼，1983年。 谷歌学者 20 RISCH，R.H.有限项积分问题。 事务处理。 美国数学。 《社会分类》第139卷（1969年），第167-189页。 谷歌学者 21 RISCH，R.H.有限项积分问题的解。 牛。 美国数学。 Soc.76（1970），605-608。 谷歌学者 22 罗伊登，H.L.Real Analysis。 第二版，麦克米兰，多伦多，1968年。 谷歌学者 23 STROUD，J.R.和SECREST，D.高斯求积公式。 普伦蒂斯·霍尔，新泽西州恩格尔伍德克利夫斯，1966年。 谷歌学者 24 SUTOR，R.S.Scratchpad II计算机代数语言和系统。 《欧洲85年会议录》，第二卷，B.F.Caviness，Ed.Springer计算机科学讲稿，204，Springer-Verlag，纽约，1985年，第32-33页。 谷歌学者
建议
不定和定求和的REDUCE包 本文描述了由Gregor Stö；实现的REDUCE包ZEILBERG； lting和作者，可从RedLib获得，可通过目录pub/RedLib/rules中ftp.zib-berlin.de上的匿名ftp访问。 REDUCE软件包ZEILBERG是一个。。。 加速不定超几何求和算法 设K是特征为零的场， x个 自变量， E类 轮班操作员 x、， 即。， 电子频率 ( x个 ) = （f） ( x个 +1）对于任意 （f） ( x个 ). 回想一下，非零表达式 F类 ( x个 )称为K上的超几何项，如果存在。。。
