skip to content
A=B Preview this item
ClosePreview this item
Checking...

A=B

Author: Marko Petkovšek; Herbert S Wilf; Doron Zeilberger; Donald Ervin Knuth
Publisher: Wellesley, Mass. : A K Peters, ©1996.
Edition/Format:   Print book : EnglishView all editions and formats
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Marko Petkovšek; Herbert S Wilf; Doron Zeilberger; Donald Ervin Knuth
ISBN: 1568810636 9781568810638
OCLC Number: 33898705
Description: xii, 212 pages : illustrations ; 24 cm
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.
Other Titles: A equals B
Responsibility: Marko Petkovšek, Herbert S. Wilf, Doron Zeilberger ; [with foreword by Donald E. Knuth.].
More information:

Abstract:

In the area of combinatorial identities computers are able to find very elegant proofs of difficult theorems unassisted by human intervention. This book shows how several recently developed computer  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/33898705> # A=B
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "33898705" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1814734425#Place/wellesley_mass> ; # Wellesley, Mass.
    schema:about <http://experiment.worldcat.org/entity/work/data/1814734425#Topic/algorithmus> ; # Algorithmus
    schema:about <http://experiment.worldcat.org/entity/work/data/1814734425#Topic/combinatorial_identities_data_processing> ; # Combinatorial identities--Data processing
    schema:about <http://dewey.info/class/511.3028551/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1814734425#Topic/hypergeometrische_reihe> ; # Hypergeometrische Reihe
    schema:about <http://experiment.worldcat.org/entity/work/data/1814734425#Topic/identites_combinatoires_informatique> ; # Identités combinatoires--Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/1814734425#Topic/algoritmos_e_estruturas_de_dados> ; # Algoritmos e estruturas de dados
    schema:about <http://experiment.worldcat.org/entity/work/data/1814734425#Topic/spezielle_funktion> ; # Spezielle Funktion
    schema:about <http://id.worldcat.org/fast/868978> ; # Combinatorial identities--Data processing
    schema:alternateName "A equals B" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/7466303> ; # Donald Ervin Knuth
    schema:contributor <http://viaf.org/viaf/165414460> ; # Doron Zeilberger
    schema:contributor <http://viaf.org/viaf/29571084> ; # Herbert S. Wilf
    schema:copyrightYear "1996" ;
    schema:creator <http://viaf.org/viaf/163045424> ; # Marko Petkovšek
    schema:datePublished "1996" ;
    schema:description "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."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1814734425> ;
    schema:inLanguage "en" ;
    schema:name "A=B"@en ;
    schema:productID "33898705" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/33898705#PublicationEvent/wellesley_mass_a_k_peters_1996> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1814734425#Agent/a_k_peters> ; # A K Peters
    schema:url <http://www.cis.upenn.edu/%7Ewilf/AeqB.html> ;
    schema:url <http://www.gbv.de/dms/goettingen/193106507.pdf> ;
    schema:url <http://www.math.upenn.edu/~wilf/AeqB.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9781568810638> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/33898705> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1814734425#Place/wellesley_mass> # Wellesley, Mass.
    a schema:Place ;
    schema:name "Wellesley, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/1814734425#Topic/algoritmos_e_estruturas_de_dados> # Algoritmos e estruturas de dados
    a schema:Intangible ;
    schema:name "Algoritmos e estruturas de dados"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1814734425#Topic/combinatorial_identities_data_processing> # Combinatorial identities--Data processing
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh85028807> ;
    schema:name "Combinatorial identities--Data processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1814734425#Topic/hypergeometrische_reihe> # Hypergeometrische Reihe
    a schema:Intangible ;
    schema:name "Hypergeometrische Reihe"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1814734425#Topic/identites_combinatoires_informatique> # Identités combinatoires--Informatique
    a schema:Intangible ;
    schema:name "Identités combinatoires--Informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1814734425#Topic/spezielle_funktion> # Spezielle Funktion
    a schema:Intangible ;
    schema:name "Spezielle Funktion"@en ;
    .

<http://id.worldcat.org/fast/868978> # Combinatorial identities--Data processing
    a schema:Intangible ;
    schema:name "Combinatorial identities--Data processing"@en ;
    .

<http://viaf.org/viaf/163045424> # Marko Petkovšek
    a schema:Person ;
    schema:familyName "Petkovšek" ;
    schema:givenName "Marko" ;
    schema:name "Marko Petkovšek" ;
    .

<http://viaf.org/viaf/165414460> # Doron Zeilberger
    a schema:Person ;
    schema:familyName "Zeilberger" ;
    schema:givenName "Doron" ;
    schema:name "Doron Zeilberger" ;
    .

<http://viaf.org/viaf/29571084> # Herbert S. Wilf
    a schema:Person ;
    schema:birthDate "1931" ;
    schema:deathDate "2012" ;
    schema:familyName "Wilf" ;
    schema:givenName "Herbert S." ;
    schema:name "Herbert S. Wilf" ;
    .

<http://viaf.org/viaf/7466303> # Donald Ervin Knuth
    a schema:Person ;
    schema:birthDate "1938" ;
    schema:familyName "Knuth" ;
    schema:givenName "Donald Ervin" ;
    schema:name "Donald Ervin Knuth" ;
    .

<http://worldcat.org/isbn/9781568810638>
    a schema:ProductModel ;
    schema:isbn "1568810636" ;
    schema:isbn "9781568810638" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.