Variational and finite element methods : a symbolic computation approach / A. I. Beltzer