Batalin-Vilkovisky formalism

In theoretical physics, Batalin-Vilkovisky (BV) formalism was developed as a method for determining the ghost structure for theories, such as gravity and supergravity, whose Hamiltonian formalism has constraints not related to a Lie algebra action. The formalism, based on a Lagrangian that contains both fields and "antifields", can be thought of as a very complicated generalization of the BRST formalism.

See antibracket algebra, analysis of flows.