Polynomial Computer Algebra and implementation of Wilf-Zeilberger's method
The purpose of the thesis is to get a better understanding of computer algebra in general, and polynomial computer algebra in particular. This is done by implementing a library for a polynomials and methods that are needed to be able to perform operations on the polynomials. Then this library is used to implement Wilf-Zeilberger’s method, which is a method that can be used to prove certain combina
