mathematical programs and tools