Coverart for item
The Resource A=B, Marko Petkovšek, Herbert S. Wilf, Doron Zeilberger

A=B, Marko Petkovšek, Herbert S. Wilf, Doron Zeilberger

Label
A=B
Title
A=B
Statement of responsibility
Marko Petkovšek, Herbert S. Wilf, Doron Zeilberger
Title variation
  • A equals B
  • A = B
Creator
Contributor
Subject
Language
eng
Summary
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
Cataloging source
DLC
http://library.link/vocab/creatorName
Petkovšek, Marko
Dewey number
511.3/0285/51
Illustrations
illustrations
Index
index present
LC call number
QA164.9
LC item number
.P48 1996
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1931-2012
http://library.link/vocab/relatedWorkOrContributorName
  • Wilf, Herbert S.
  • Zeilberger, Doron
http://library.link/vocab/subjectName
  • Combinatorial identities
  • Algoritmos e estruturas de dados
  • Identités combinatoires
Label
A=B, Marko Petkovšek, Herbert S. Wilf, Doron Zeilberger
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages [201]-208) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
33898705
Dimensions
24 cm
Extent
xii, 212 pages
Isbn
9781568810638
Lccn
95051210
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Note
UMKC: Companion computer disk inserted in pocket of book. Disk is PC version, text files only with program descriptions in "readme" file. Program updates at: http://www.cis.upenn.edu/w̃ilf/AeqB.html. Disk characteristics: 3.5 floppy, high density.
Other physical details
illustrations
System control number
(OCoLC)33898705
Label
A=B, Marko Petkovšek, Herbert S. Wilf, Doron Zeilberger
Publication
Bibliography note
Includes bibliographical references (pages [201]-208) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
33898705
Dimensions
24 cm
Extent
xii, 212 pages
Isbn
9781568810638
Lccn
95051210
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Note
UMKC: Companion computer disk inserted in pocket of book. Disk is PC version, text files only with program descriptions in "readme" file. Program updates at: http://www.cis.upenn.edu/w̃ilf/AeqB.html. Disk characteristics: 3.5 floppy, high density.
Other physical details
illustrations
System control number
(OCoLC)33898705

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...