A Computer Algebra Approach to the Discrete Dirichlet Problem

The Gröbner Basis Algorithm is used to find closed form expressions for the generating functions of finite difference equations. Such difference equations arise in elliptic PDEʹs, random walk problems, and gamblerʹs ruin problems.