In this work, we perform an extensive theoretical and experimental analysis of the characteristics of five of the most prominent algebraic modelling languages (AMPL, AIMMS, GAMS, JuMP, and Pyomo) and modelling systems supporting them. In our theoretical comparison, we evaluate how the reviewed modern algebraic modelling languages match the current requirements. In the experimental analysis, we use a purpose-built test model library to perform extensive benchmarks. We provide insights on which algebraic modelling languages performed the best and the features that we deem essential in the current mathematical optimization landscape. Finally, we highlight possible future research directions for this work. PDF  XML

中文翻译：

---

数学优化的代数建模语言的实验分析

在这项工作中，我们对五种最著名的代数建模语言（AMPL，AIMMS，GAMS，JuMP和Pyomo）的特征进行了广泛的理论和实验分析）以及支持它们的建模系统。在理论比较中，我们评估了已审查的现代代数建模语言如何满足当前要求。在实验分析中，我们使用专门构建的测试模型库来执行广泛的基准测试。我们提供了关于哪些代数建模语言表现最佳以及我们认为在当前数学优化环境中必不可少的功能的见解。最后，我们强调了这项工作可能的未来研究方向。PDF XML