The aim of this article is to show, how computer algebra can be used when applying Liu's procedure. Although I will use Mathematica (a commercial product by Wolfram Research) it is possible to use other computer algebra systems as well. This was the reason for me to choose LaTeX for this article and not just to publish my mathematica-notebook.
For the newest resources, visit Wolfram Repositories and Archives »
