GAMS (Sistema Geral de Modelagem Algébrica) é uma linguagem de alto nível para a formulação de modelos de Pesquisa Operacional. GAMS foi desenvolvido pelo Banco Mundial como uma ferramenta para facilitar o trabalho de modelagem, possibilitando uma descrição clara, correta, concisa e intuitiva. GAMS é hoje a ferramenta específica de Pesquisa Operacional mais difundida em todo o mundo, suportando um grande número de algoritmos resolventes para Programação Matemática. Dois destes "solvers "MINOS (para Programação Linear e Não-Linear) e ZOOM (para Programação Inteira) são estudados em detalhe, sempre buscando clareza e eficiência de modelagem. Exemplos de problemas reais nas áreas de Administração, Agro-Indústria, Comunicações, Desenvolvimento, Ecologia, Economia, Energia, Engenharia, Estatística, Finanças, Matemática, Nutrição, Planejamento e Política de Comércio, Militar, de Transporte, Tributária e Urbana, complementam a obra.