PROS Holdings, Inc. (NYSE: PRO) is a big data software company that helps customers outperform in their markets by using big data to sell more effectively. We apply 27 years of data science experience to unlock buying patterns and preferences within transaction data to reveal which opportunities are most likely to close, which offers are most likely to sell and which prices are most likely to win. PROS offers big data solutions to optimize sales, pricing, quoting, rebates and revenue management across more than 30 industries. PROS has completed over 600 implementations of its solutions in more than 50 countries. The PROS team comprises more than 700 people around the world.



AMPL Optimization develops and supports a powerful yet natural modeling language and system for creating and managing large, complex optimization problems. AMPL is notable for supporting a broad range of linear and nonlinear problem formulations and a large selection of popular large-scale solvers. New features include an integrated editor and command processor for development, and programming interfaces for integration into applications.

IBM Logo

No matter where discovery takes place, IBM Research pushes the boundaries of science, technology and business to make the world work better. Its global network of scientists, across 12 laboratories, work on a range of applied and exploratory projects to help clients, governments and universities apply scientific breakthroughs to solve real-world business and societal challenges. For more than 50 years, IBM Research has had one goal: progress.

SAS Logo

SAS provides an extensive, integrated suite of analytic capabilities, including data access and integration, statistical analysis, data and text mining, forecasting, simulation, scheduling, and optimization?LP, MILP, network, QP, and NLP. SAS helps organizations around the world build models, populate them with relevant data and analytic insights, communicate recommended decisions effectively, and surface these capabilities within accessible, business-oriented interfaces.


Gurobi Logo

Gurobi Optimization provides high performance LP, QP, QCP, and MIP solvers using the most advanced implementations of the latest algorithms. Gurobi offers best-in-class performance, supports a broad range of interfaces and modeling languages, and features flexible licensing together with transparent pricing, all backed by outstanding, easy to reach support.