MAPLE routines for bosons on curved manifolds

Exactly solvable models for fields coupled to gravity within a general-relativistic analytical approach require a huge volume of computations. Therefore, the need of iterations on nonlinear equations and the necessity of permanent checking the results are justifying the idea of building a complete algorithm for this problem. After presenting a MAPLE set of procedures and routines for the study of coupled Klein--Gordon--Maxwell--Einstein system of equations on a curved manifold, we focus on two particular metrics and derive the explicit form of field equations describing the analyzed configurations. (authors)