ANALYZE - A computer-assisted analysis system to analyze mathematical programs, including an artificially intelligent level of support.