Modern numerical developments have allowed tremendous advancement in the analysis of the nonlinearities inherent in machine design problems, with few more productive than the finite element method. This work seeks to meet a dual challenge: to reflect both the advances of the finite element method and to expand the theoretical scope of their applications to the design of machine elements. Technical applications of computational processes include the introduction of p-version elements, contact surface elements, and design optimization.