Using Symbolic Computation in Buckling Analysis