Computer algebra

There have been 1 topic suggestion tagged with computer algebra.

Related Tags

Talk Suggestions

Wilf zeilberg method to computer verify combinatorial identities

One of the most exciting mathematical discoveries in the early 1990s was the Wilf-Zeilberger (WZ) algorithm that can be used for proving, evaluating, and discovering identities involving hypergeometric terms automatically by computer. And unlike computerized proof techniques in other areas, the computerized proofs generated by this method provides a certificate for the validity of a combinatorial identity, called a WZ-pair.

Required Background: Combinatorics at the level of Math 249, Calculus at the level of Math 147.

Possible reference materials for this topic include

Quick links: Google search, search, propose to present a talk

algorithm combinatorics computer algebra