Higher Derivative Corrections in M-theory via Local Supersymmetry

We investigate higher derivative corrections in M-theory by applying Noether’s method. Cancellation of variations, which contain linear terms in 4-form field strength, under local supersymmetry is executed with the aid of computer programming. Structure of $R^4$ terms is uniquely determined and exactly matches with one-loop effective terms in type IIA superstring theory.