This paper shows how Gröbner bases can be used to solve some common problems in nonlinear systems theory efficiently. These problems include finding critical levels of local Lyapunov functions and solving the equations that arise in the harmonic balancing method. The methods proposed are illustrated by some concrete examples in which the computer algebra system Maple is used for performing the necessary calculations.