| A=B |
A=B
Author(s) : Marko Petkovsek, Herbert Wilf and Doron Zeilberger Publication date : Jan 1996 ISBN : 1568810636 Hardcover: 212 pages Publisher : AK Peters, Ltd Terms and Conditions:
Book excerpts: "A=B" is about identities in general, and hypergeometric identities in particular, with emphasis on computer methods of discovery and proof. It's about transforming an important part of mathematics from an art to science. There should no more need to get a brilliant insight in order to evaluate sums of binomial coeficients, and many similar formulas that arise frequently in practice; readers will be able to follow a mechanical procedure and discover the answers quite systematically. This book shows how several recently developed computer algorithms can simplify complex summations, presenting the underlying mathematical theory of these methods, the principle theorems and proofs, and advice for using two packages of Maple programs available on the official website. Intended Audience: Students and professionals interested in combinatorial identities will have great use for this book. People of computer science will be also interested in the authors' unique approach towards automated proofs. Reviews: Amazon.com
Peter Paule, RISC-Linz; Austria
Jan Denef, in J. Approximation Theory, October, 1999
Vladik Kreinovich, in SIGACT News, 31, No. 4, 2000
|
ndaru
Site Admin
|
||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||
|
Powered by phpBB © phpBB Group
Design by Vjacheslav Trushkin for phpBBStyles.com.
phpBB SEO
Content © FreeTechBooks.com
Design by Vjacheslav Trushkin for phpBBStyles.com.
phpBB SEO
Content © FreeTechBooks.com



