Proofs of identities in line with the book A=B (Petkovsek, Wilf & Zeilberger) are trivial - they amount to simple computation. However, the theorems are certainly non-trivial. It is possibly hard to find the right "Ansatz", and you need a computer to find the certificate, but checking the certificate is trivial.
|
1 | [made Community Wiki] | ||
|
|
||||
