Polymath software system requirements