Heat-Kernel Calculation of Quark Determinant and Computer Algebra

In this paper there we describe the calculational background of deriving a strong meson Lagrangian from the Nambu--Jona-Lasinio quark model using the computer algebra systems FORM and REDUCE in recursive algorithms, based on the heat-kernel method for the calculation of the quark determinant.