Mechanization of tedious algebra—the e coefficients of theoretical chemistry
A table of formulas for certain integrals involving Legendre functions has been constructed mechanically by a program which performed algebraic operations. The formulas…