Journal
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING
Volume 13, Issue 4, Pages 327-333Publisher
SPRINGER-VERLAG
DOI: 10.1007/s00200-002-0107-z
Keywords
computer algebra; hypergeometric summation; definite integration; WZ method
Ask authors/readers for more resources
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available