There have been 1 topic suggestion tagged with computer algebra.
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, arXiv.org search, propose to present a talk
algorithm combinatorics computer algebra