欧兹 110篇文献引用(1994–2023) 软件作者： Henz，M.、Smolka，G.和Würtz，J。 相关软件： 炸薯条；莫扎特；克莱尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
序言 58篇文献引用(1984–2022) 软件作者： 丹尼尔·迪亚兹 相关软件： SICStus公司；SWI-预测；芯片… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
锌 28篇文献引用(2005–2022) 软件作者： Kim万豪酒店；尼赫科特，尼古拉斯；雷扎·拉斐；Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；马克·华莱士 相关软件： 本质；微量锌；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
立方厘米（FD） 18篇文献引用(1998–2022) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·迪维尔 相关软件： CPLEX；彗星；Choco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BEE公司 8份文件引用(2012–2022) 软件作者： Metodi，Amit；迈克尔·科迪什 相关软件： 鹦鹉螺；踪迹；MiniSat… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
拉赫夫特 9份文件引用(2018–2023) 软件作者： Kafle，B.，Gallagher，J.P.，Morales，J.F。 相关软件： z3；SeaHorn；垫片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
盒 6篇文献引用(2010–2020) 软件作者： Gurfinkel，A.，Chaki，S。 相关软件： 停机坪；不明飞行物；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
布鲁索夫 5份文件引用(2003–2021) 软件作者： P.Laug；H.Borouchaki；印度 相关软件： MKL；DiSk++；NEF++… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
CaSPER公司 6篇文献引用(2007–2013) 软件作者： Correia，M.、Barahona，P.、Azevedo，F.、。 相关软件： 小精灵；通用电气；CSPLib… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
法西乐 3份文件引用(2005–2009) 软件作者： 巴尼尔，N.，布里塞特，P。 相关软件： 乔科；ProB；Gecode… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
pyomo.dae型 3份文件引用(2018–2022) 软件作者： 贝萨尼·尼科尔森；约翰·D·西罗拉（John D.Siirola）。；Jean-Paul Watson；维克多·M·扎瓦拉（Victor M.Zavala）。；Lorenz T.比格勒。 相关软件： Pyomo；SOCS；Optimica… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
GMO公司 3份文件引用（2002年至2008年） 软件作者： 辛弃疾；M.H.Khammash；M.V.萨拉帕卡 相关软件： 量子点 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
沙漠FD 在0个文档中引用 软件作者： Eames，Brandon K。；妮玛（Neema）、桑迪普·K·。；罗希特·萨拉斯瓦特 相关软件： 禁忌搜索；SICStus公司；FaMa… 主要字段： 计算机科学（68-XX）
歧管代码 1份文件引用（2013年） 软件作者： 佩利卡，M。；Tarhasaari，T。；Suuriniemi，S。；凯图恩，L。 相关软件： PyDEC公司；Gms小时 主要字段： 微分几何（53-XX）；数值分析（65-XX）
PICN公司 1份文件引用(2024) 软件作者： 史鹏鹏；曾志；梁天寿 相关软件： PhyGeoNet；PhyCRNet；转换PDE-UQ 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；概率论与随机过程（60-XX）…