A Computer Proof of a Polynomial Identit
β
Alexander Berkovich; Axel Riese
π
Article
π
2002
π
Elsevier Science
π
English
β 117 KB
In this paper we give a computer proof of a new polynomial identity, which extends a recent result of Alladi and the first author. In addition, we provide computer proofs for new finite analogs of Jacobi and Euler formulas. All computer proofs are done with the aid of the new computer algebra packag