标签：数学研究

一个将GAMS编写的非线性规划模型转换为基于KKT条件的混合互补问题的Python工具。

BuddenBench是一个用于评估模型和代理自主解决数学研究中开放重要问题能力的基准，专注于数学家当前研究兴趣的问题。