|
" A=B / "
Marko Petkovšek, Herbert S. Wilf, Doron Zeilberger ; [with foreword by Donald E. Knuth.].
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
990085
|
| Doc. No
|
:
|
b744455
|
| Main Entry
|
:
|
Petkovšek, Marko.
|
| Title & Author
|
:
|
A=B /\ Marko Petkovšek, Herbert S. Wilf, Doron Zeilberger ; [with foreword by Donald E. Knuth.].
|
| Publication Statement
|
:
|
Wellesley, Mass. :: A K Peters,, ©1996.
|
| Page. NO
|
:
|
xii, 212 pages :: illustrations ;; 24 cm
|
| ISBN
|
:
|
1568810636
|
|
|
:
|
: 9781568810638
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (pages 201-208) and index.
|
| Contents
|
:
|
I. Background. 1. Proof Machines. 2. Tightening the Target. 3. The Hypergeometric Database -- II. The Five Basic Algorithms. 4. Sister Celine's Method. 5. Gosper's Algorithm. 6. Zeilberger's Algorithm. 7. The WZ Phenomenon. 8. Algorithm Hyper -- III. Epilogue. 9. An Operator Algebra Viewpoint -- A: The WWW sites and the software.
|
| Abstract
|
:
|
In the area of combinatorial identities computers are able to find very elegant proofs of difficult theorems unassisted by human intervention. This autonomy means that not only is it possible to use a PC to find such a proof, but also the proof can be checked easily. This book shows how several recently developed computer algorithms can master the difficult job of simplifying complex summations and if there is no such simplification they will prove this to be the case. The authors present the underlying mathematical theory of these methods, the principle theorems and proofs, and include a package of computer programs that can do these tasks.
|
| Subject
|
:
|
Combinatorial identities-- Data processing.
|
| Subject
|
:
|
Identités combinatoires-- Informatique.
|
| Subject
|
:
|
Algorithmus
|
| Subject
|
:
|
Algoritmos e estruturas de dados.
|
| Subject
|
:
|
Combinatorial identities-- Data processing.
|
| Subject
|
:
|
Hypergeometrische Reihe
|
| Subject
|
:
|
Spezielle Funktion
|
| Subject
|
:
|
Algorithmus.
|
| Subject
|
:
|
Hypergeometrische Reihe.
|
| Subject
|
:
|
Spezielle Funktion.
|
| Dewey Classification
|
:
|
511.3/0285/51
|
| LC Classification
|
:
|
QA164.9.P48 1996
|
| NLM classification
|
:
|
*05A10msc
|
|
|
:
|
05A30msc
|
|
|
:
|
17,1ssgn
|
|
|
:
|
31.12bcl
|
|
|
:
|
33C20msc
|
|
|
:
|
33D15msc
|
|
|
:
|
39A70msc
|
|
|
:
|
68R05msc
|
|
|
:
|
DAT 532fstub
|
|
|
:
|
MAT 335fstub
|
|
|
:
|
SK 170rvk
|
|
|
:
|
SK 680rvk
|
| Added Entry
|
:
|
Knuth, Donald Ervin,1938-
|
|
|
:
|
Wilf, Herbert S.,1931-2012.
|
|
|
:
|
Zeilberger, Doron.
|
| Parallel Title
|
:
|
A equals B
|
| |