  We sample some Poincare-Birkhoff-Witt theorems appearing in mathematics.
Along the way, we compare modern techniques used to establish such results, for
example, the Composition-Diamond Lemma, Groebner basis theory, and the
homological approaches of Braverman and Gaitsgory and of Polishchuk and
Positselski. We discuss several contexts for PBW theorems and their
applications, such as Drinfeld-Jimbo quantum groups, graded Hecke algebras, and
symplectic reflection and related algebras.
