عنوان
پدید آورنده
موضوع
رده
QA164.9 .P48 1996
QA164
.
9
.
P48
1996
کتابخانه
محل استقرار
شابک
شابک
1568810636
شابک
9781568810638
شماره کتابشناسی ملی
شماره
b744455
عنوان و نام پديدآور
عنوان اصلي
A=B /
نام عام مواد
[Book]
نام نخستين پديدآور
Marko Petkovšek, Herbert S. Wilf, Doron Zeilberger ; [with foreword by Donald E. Knuth.].
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Wellesley, Mass. :
نام ناشر، پخش کننده و غيره
A K Peters,
تاریخ نشرو بخش و غیره
©1996.
مشخصات ظاهری
نام خاص و کميت اثر
xii, 212 pages :
ساير جزييات
illustrations ;
ابعاد
24 cm
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 201-208) and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
A equals B
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Combinatorial identities-- Data processing.
موضوع مستند نشده
Identités combinatoires-- Informatique.
موضوع مستند نشده
Algorithmus
موضوع مستند نشده
Algorithmus.
موضوع مستند نشده
Algoritmos e estruturas de dados.
موضوع مستند نشده
Combinatorial identities-- Data processing.
موضوع مستند نشده
Hypergeometrische Reihe
موضوع مستند نشده
Hypergeometrische Reihe.
موضوع مستند نشده
Spezielle Funktion
موضوع مستند نشده
Spezielle Funktion.
رده بندی ديویی
شماره
511
.
3/0285/51
ويراست
20
رده بندی کنگره
شماره رده
QA164
.
9
نشانه اثر
.
P48
1996
سایر رده بندی ها
شماره رده
*
05A10
شماره رده
05A30
شماره رده
17
,
1
شماره رده
31
.
12
شماره رده
33C20
شماره رده
33D15
شماره رده
39A70
شماره رده
68R05
شماره رده
DAT
532f
شماره رده
MAT
335f
شماره رده
SK
170
شماره رده
SK
680
کد سيستم
msc
کد سيستم
msc
کد سيستم
ssgn
کد سيستم
bcl
کد سيستم
msc
کد سيستم
msc
کد سيستم
msc
کد سيستم
msc
کد سيستم
stub
کد سيستم
stub
کد سيستم
rvk
کد سيستم
rvk
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Petkovšek, Marko.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Knuth, Donald Ervin,1938-
مستند نام اشخاص تاييد نشده
Wilf, Herbert S.,1931-2012.
مستند نام اشخاص تاييد نشده
Zeilberger, Doron.
مبدا اصلی
تاريخ عمليات
20201204045117.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
