第条

欧洲安全论坛：自动生成的特殊功能百科全书

作者:

卢多维奇麦尼埃和

布鲁诺萨尔维作者信息和声明

ISSAC’03：2003年符号和代数计算国际研讨会论文集

2003年8月

页199-206

https://doi.org/10.1145/860854.860898

出版:2003年8月3日出版历史

获取访问权限

摘要

我们将介绍我们正在进行的关于在web上自动生成特殊功能百科全书的工作，该百科全书称为特殊函数百科全书（ESF）脚注teurlhttp://algo.inria.fr/esf。ESF中的所有数学公式都是在无需任何人工干预的情况下计算、排版和显示的。这是通过在为一类特殊函数专门设计的数据结构之上，系统地利用计算机代数算法集合来实现的。

工具书类

[1]

米尔顿·阿布拉莫维茨（Milton Abramowitz）和艾琳·阿斯特根（Irene A.Stegun），编辑。数学函数手册，包括公式、图形和数学表。多佛出版公司，纽约，1992年。1972年版重印。

数字图书馆

[2]

乔治·E·安德鲁斯、理查德·阿斯基和兰詹·罗伊。特殊功能，第71卷。剑桥大学出版社，1999年。

[3]

R.J.Bradford和J.H.Davenport。更好地简化初等函数。2002年国际社会科学协会编辑特奥·莫拉（Teo Mora），第16-22页。ACM出版社，2002年7月。2002年符号和代数计算国际研讨会论文集，2002年7月7日至10日，法国里尔大学。

数字图书馆

[4]

D.V.Chudnovsky和G.V.Chundnovsky。根据Ramanujan的近似和复数乘法。在重新访问的Ramanujan中，第375-472页。学术出版社，马萨诸塞州波士顿，1988年。

[5]

Frédéric Chyzak。计算公式中的完整函数。埃科尔理工大学博士论文，1998年。

[6]

Frédéric Chyzak和Bruno Salvy。Ore代数中的非交换消去证明了多元完整恒等式。符号计算杂志，26（2）：187--2271998年8月。

数字图书馆

[7]

J.Della Dora和E.Tournier。解决方案形成了差分方程和奇异点方程。技术报告239，IMAG，格勒诺布尔，1981年。

[8]

E.L.Ince公司。常微分方程。多佛出版社，纽约，1956年。重印1926年版。

[9]

米歇尔·洛代·里查德。不同系统的解决方案。《数学博览会》，13:116-1621995年。

[10]

B.马尔格兰奇。推导了微分方程组linéairesásingularités irrégulières。格勒诺布尔，1979年。

[11]

乔尔·摩西。走向特殊函数的一般理论。ACM通讯，15:550--5541972。

数字图书馆

[12]

Marko Petkovv sek。多项式系数线性递归的超几何解。符号计算杂志，14（2-3）：243--2641992。

数字图书馆

[13]

马尔科·佩特科夫斯克、赫伯特·S·威尔夫和多伦·泽尔伯格。Α=Β. A.K.Peters有限公司，马萨诸塞州韦尔斯利，1996年。

[14]

丹·理查森（Dan Richardson）、布鲁诺·萨维（Bruno Salvy）、约翰·沙克尔（John Shackell）和乔里斯·范德霍温（Joris Van der Hoeven）。exp-log函数的渐近展开。1996年ISSAC编辑Y.N.Lakshman，第309-313页。ACM出版社，1996年。1996年符号和代数计算国际研讨会论文集。1996年7月24日至26日。苏黎世，瑞士。

数字图书馆

[15]

布鲁诺·萨维和保罗·齐默尔曼。Gfun：一个Maple包，用于操作一个变量中的生成函数和完整函数。ACM数学软件汇刊，20（2）：163--1771994。

数字图书馆

[16]

理查德·斯坦利（Richard P.Stanley）。枚举组合学，第2卷。剑桥大学出版社，1999年。

数字图书馆

[17]

埃维琳·托尼尔。解形成了不同的方程。格勒诺布尔科技与医学大学博士学位，1987年。

[18]

乔里斯·范德霍温（Joris Van der Hoeven）。完整函数的快速评估。理论计算机科学，210（1）：199--2161999。

数字图书馆

[19]

马克·范·霍伊。有理函数系数微分算子的因式分解。符号计算杂志，24（5）：537-5611997。

数字图书馆

[20]

沃尔夫冈·沃索。常微分方程的渐近展开式。多佛出版公司，纽约，1987年。约翰·威利1976年版再版。

[21]

多伦·齐尔伯格（Doron Zeilberger）。一种完整系统的特殊函数恒等式方法。计算与应用数学杂志，32（3）：321-3681990。

数字图书馆

引用人

贝诺特A克扎克F达拉斯AGerhold S公司Mezzarobba M公司Salvy B公司(2010)数学函数动态字典（DDMF）第三届国际数学软件大会会议记录10.5555/1888390.1888399(35-41)在线发布日期：2010年9月13日
https://dl.acm.org/doi/10.5555/1888390.1888399
Mezzarobba M公司科普夫W(2010)数字Gfun2010年符号和代数计算国际研讨会论文集10.1145/1837934.1837965(139-145)在线发布日期：2010年7月25日
https://dl.acm.org/doi/10.1145/1837934.1837965
插入符号JJanicki R公司(2007)用符号计算法计算数值命令程序的性质计算机基础理论10.5555/2367430.236743880:1-3(125-146)在线发布日期：2007年1月1日
https://dl.acm.org/doi/10.5555/2367430.2367438网址
显示更多引用者

索引术语

ESF：自动生成的特殊功能百科全书
1. 计算方法
  1. 符号和代数操作
    1. 符号和代数算法
      1. 代数算法

建议

有限项积分Liouville定理的推广

在本文的第一部分中，我们给出了Liouville定理的一个推广，并给出了一些例子，表明与特殊函数的积分涉及一些仅与初等函数积分时不会出现的现象。我们的主。。。
阅读更多信息
关于合流超几何函数与贝塞尔函数的一些恒等式
摘要
数学函数通常出现在数学分析中，被称为特殊函数，已有数百年的研究历史。有许多书和字典可供使用，它们描述了它们的属性并作为。。。
阅读更多信息
任意判决复区间算法中Lambert W函数的计算
摘要
我们描述了一种算法来计算Lambert的所有复杂分支W公司在任意精度区间算法或球算法中具有严格误差界的函数。1996年关于Lambert的经典论文W公司Corless等人的功能。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

ISSAC’03：2003年符号和代数计算国际研讨会论文集

2003年8月

284页

国际标准图书编号：1581136412

内政部：10.1145/860854

总主席：
Hoon Hong公司
北卡罗来纳州立大学，北卡罗来纳州罗利市

版权所有©2003 ACM。

允许制作本作品的全部或部分数字或硬拷贝供个人或课堂使用，但不收取任何费用，前提是复制品的制作或分发不是为了盈利或商业利益，并且复制品在首页注明本通知和完整引文。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2003年8月3日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

第条

会议

ISSAC03标准

赞助商：

ISSAC03：符号和代数计算国际研讨会

2003年8月3日至6日

宾夕法尼亚州，美国费城

接受率

ISSAC’03论文接受率：68份提交文件中的36份，53%；

838份提交文件中的总接受率为395份，47%

即将召开的会议

伊萨克24

赞助商：
西格萨姆

符号和代数计算国际研讨会

2024年7月16日至19日

罗利，北卡罗来纳州，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

6
引文总数
查看引文
281
总下载次数

下载量（最近12个月）三
下载次数（最近6周）1

其他指标

查看作者指标

引文

引用人

贝诺特A克扎克F达拉塞AGerhold S公司Mezzarobba M公司Salvy B公司(2010)数学函数动态字典（DDMF）第三届国际数学软件大会会议记录10.5555/1888390.1888399(35-41)在线发布日期：2010年9月13日
https://dl.acm.org/doi/10.5555/1888390.1888399
Mezzarobba M公司科普夫W(2010)数字Gfun2010年符号和代数计算国际研讨会论文集10.1145/1837934.1837965(139-145)在线发布日期：2010年7月25日
https://dl.acm.org/doi/10.1145/1837934.1837965
插入符号JJanicki R公司(2007)用符号计算法计算数值命令程序的性质计算机基础理论10.5555/2367430.236743880:1-3(125-146)在线发布日期：2007年1月1日
https://dl.acm.org/doi/10.5555/2367430.2367438
插入符号JJanicki R公司(2007)用符号计算方法计算数值强制程序的性质计算机基础理论10.5555/1366708.136671680:1-3(125-146)在线发布日期：2007年1月1日
https://dl.acm.org/doi/10.5555/1366708.1366716
达文波特J(2007)“理解函数”可能意味着什么？第十四届机械化数学助理研讨会论文集：第六届国际会议10.1007/978-3-540-73086-6_5(55-65)在线发布日期：2007年6月27日
https://dl.acm.org/doi/10.1007/978-3-540-73086-6_5
梅尼尔L(2003)摩洛哥迪拉姆ACM SIGSAM公告10.1145/990353.99036537:3(79-81)在线发布日期：2003年9月1日
https://dl.acm.org/doi/10.1145/990353.990365

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

视图选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子