期刊
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING
卷 13, 期 4, 页码 327-333出版社
SPRINGER-VERLAG
DOI: 10.1007/s00200-002-0107-z
关键词
computer algebra; hypergeometric summation; definite integration; WZ method
A fruitful interaction between a new randomized WZ procedure and other computer algebra programs is illustrated by the computer proof of a series evaluation that originates from a definite integration problem.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据