XiStrat examples for the standard problem categories (such as Grimshaw, Plachutta, etc.)
defining mathematical terms dealing with those problems