伊波特 930份文件引用(2005–2024) 软件作者： 安德烈亚斯·瓦希特（Andreas Waechter）、卡尔·莱尔德（Carl Laird） 相关软件： AMPL；SNOPT；CPLEX… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
SDPT3型 768份文件引用（1986年至2024年） 软件作者： Toh，K.C。；托德，M.J。；TüTüncü，R.H。 相关软件： 塞杜米；YALMIP；CVX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SCIP公司 650份文件引用(2005–2024) 软件作者： 特里斯坦·加里、杰拉尔德·加姆拉斯、帕特里克·杰曼德、安布罗斯·格莱克斯纳、罗伯特·戈特瓦尔德、格雷戈·亨德尔、克里斯托弗·霍尼、斯蒂芬·马赫、马蒂亚斯·米尔滕贝格、本杰明·米勒、马克·普费茨、弗兰齐斯卡·舍勒、菲利佩·塞拉诺、斯特凡·维格斯克、迪特尔·温格、雅各布·维齐格 相关软件： CPLEX；MIPLIB公司；古罗比… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
糠 559份文件引用(2001–2023) 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： MiniSat；伯克敏；SATO… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SNOPT公司 584份文件引用(1997–2024) 软件作者： 菲利普·吉尔（Philip E.Gill）。；沃尔特·默里（Walter Murray）；迈克尔·桑德斯。 相关软件： Ipopt；针织衫；AMPL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
背包 539份文件引用(1995–2024) 软件作者： 戴维·皮辛格（David Pisinger）；保罗·托斯 相关软件： CPLEX；默克纳普；OR-库… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
METIS公司 488份文件引用(1992–2024) 软件作者： Karypis，G。；V.库马尔。 相关软件： PETSc；MUMPS；稀疏矩阵… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MINOS公司 引用于461份文件(1980–2023) 软件作者： B.A.Murtagh；M.A.桑德斯 相关软件： GAMS；SNOPT；AMPL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BARON公司 420篇文献引用(1996–2024) 软件作者： 尼古拉斯五世·萨希尼迪斯。 相关软件： CPLEX；GAMS；SCIP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GQTPAR公司 360篇文献引用(1983–2023) 软件作者： 豪尔赫·莫雷。；哥伦比亚特区索伦森。 相关软件： HSL-VF05；切割机；minpack… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
SPGL1型 219篇文献引用(2008–2023) 软件作者： 范登伯格（van den Berg，Ewout）；迈克尔·P·弗里德兰德。 相关软件： PDCO；NESTA；CoSaMP… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
CSDP公司 212篇文献引用(1999–2023) 软件作者： 布莱恩·博彻斯 相关软件： 塞杜米；SDPT3；SDPA… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NPSOL公司 144篇文献引用(1984–2019) 软件作者： P.E.Gill、W.Murray、M.A.Saunders、M.H.Wright 相关软件： SNOPT；AMPL；奥的斯… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
FEASPUMP公司 139篇文献引用(1979–2024) 软件作者： 菲舍蒂（Matteo Fischetti）；多梅尼科·萨尔瓦金 相关软件： MIPLIB公司；CPLEX；MIPLIB2003… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MINTO公司 138篇文献引用(1993–2022) 软件作者： G.L.Nemhauser、M.W.P.Savelsbergh、G.S.Sigismondi 相关软件： CPLEX；阿巴克斯；MIPLIB… 主要字段： 历史与传记（01-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
NLPQL公司 137篇文献引用（1986年至2024年） 软件作者： 希特科夫斯基 相关软件： NPSOL；SNOPT；NLPQLP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
迷你锌 130篇文献引用(2008–2024) 软件作者： 吉多·塔克（Guido Tack），NICTA/莫纳什大学（与塞巴斯蒂安·布兰德（Sebastian Brand）、马克·布朗（Mark Brown）、蒂鲍特·费迪（Thibaut Feydy）、朱利安·菲舍尔（Julien Fischer）、玛丽亚·加西亚·德拉班达（Maria Garcia de la Banda）、 相关软件： 通用电气；CHUFFED公司；CPLEX… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
欧兹 110篇文献引用(1994–2023) 软件作者： Henz，M.、Smolka，G.和Würtz，J。 相关软件： 炸薯条；莫扎特；克莱尔… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
CALMA公司 109篇文献引用(1999–2024) 软件作者： 卡伦·阿达尔；科尔·赫肯斯；Lenstra，Jan Karel；谢尔盖·蒂乌林 相关软件： CPLEX；禁忌搜索；DIMACS… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
扣环 104篇文献引用(2007–2022) 软件作者： 马丁·格布瑟（Martin Gebser）、本杰明·考夫曼（Benjamin Kaufmann）、安德烈·诺依曼（AndréNeumann）、托尔斯滕·绍布（Torsten Schaub） 相关软件： 格林戈；克林戈；黄蜂… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
发展 100篇文献引用(1973–2020) 软件作者： Paula M.J.哈里斯。 相关软件： MINOS；NETLIB LP测试集；CPLEX… 主要字段： 历史与传记（01-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
CSPLib公司 90篇文献引用(2000–2023) 软件作者： Ian P.Gent、Toby Walsh、Ian Miguel 相关软件： 微量锌；CPLEX；Gecode… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
ILOG时间表 88篇文献引用(1996–2023) 软件作者： C·勒帕佩 相关软件： CPLEX；炸薯条；JOBSHOP… 主要字段： 通用代数系统（08-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
bn学习 73篇文献引用（2009年-2023年） 软件作者： 马可·斯库塔里 相关软件： R；pcalg；TETRAD… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
可操纵金字塔 75篇文献引用(1999–2023) 软件作者： E.西蒙塞利 相关软件： DT-CWT；ImageNet；AlexNet… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
Gecode公司 85篇文献引用(2007–2023) 软件作者： 克里斯蒂安·舒尔特（Christian Schulte），KTH皇家理工学院 相关软件： 微量锌；CPLEX；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
炸薯条 86篇文献引用(1989–2024) 软件作者： Dincbas，M。；Simonis，H。；van Hentenryck，P。 相关软件： 奥兹；ILOG时间表；CPLEX… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SWI-预测 76篇文献引用(2000–2024) 软件作者： Wielemaker，J.、Schrijvers，T.、Triska，M.、Lager，T。 相关软件： SICStus公司；YAP-Prolog；XSB… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
彗星 75篇文献引用(2004–2023) 软件作者： 劳伦特·米歇尔（Laurent Michel）；看，安德鲁；帕斯卡·范·亨特利克 相关软件： CPLEX；本地化人员；Gecode… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
序言 58篇文献引用(1984–2022) 软件作者： 丹尼尔·迪亚兹 相关软件： SICStus公司；SWI Prolog公司；芯片… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
进展 52篇文献引用(1994–2022) 软件作者： 曼弗雷德·穆奇；安迪·舒尔（Andy Schürr）；安德烈亚斯·温特。 相关软件： AGG；富贾巴；VIATRA2… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
简单MKL 66份文件引用(2008–2023) 软件作者： 阿兰·阿科托马蒙杰；巴赫，弗朗西斯·R。；圣潘省卡努；伊夫·格兰德瓦莱特 相关软件： SHOGUN公司；LIBSVM；UCI-ml… 主要字段： 功能分析（46-XX）；统计学（62-XX）；计算机科学（68-XX）…
可爱的 50篇文献引用(2003–2022) 软件作者： Koushik Sen；达科·马里诺夫；古尔·阿加 相关软件： 投掷；z3；KLEE… 主要字段： 数理逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
NDSPMHD公司 70篇文献引用(2012–2024) 软件作者： 丹尼尔·普莱斯（Daniel J.Price）。 相关软件： 双球面物理学；幻影；GADGET… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
NSF网络 70篇文献引用(2020–2024) 软件作者： 金晓伟、蔡盛泽、李慧、乔治·埃姆·卡尼亚达克斯 相关软件： 亚当；DiffSharp；hp-VPINN… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Quaffle餐厅 64篇文献引用(2003–2023) 软件作者： L.Zhang；S.Malik；普林斯顿大学SAT研究小组；Yinlei余 相关软件： 糠；DepQBF；QUBOS… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
乔科 62篇文献引用(2001–2022) 软件作者： Choco团队：http://www.emn.fr/z-info/choco-solver/index.php？page=团队 相关软件： 通用电气；CPLEX；克莱尔… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LFW公司 47篇文献引用(2011–2023) 软件作者： Gary B.Huang、Manu Ramesh、Tamara Berg、Erik Learnd-Miller 相关软件： FaceNet；SIFT；公共图形… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
WASP公司 63份文件引用(2014–2023) 软件作者： 阿尔维亚诺，马里奥；多达罗、卡明；沃尔夫冈·费伯（Wolfgang Faber）；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： 克林戈；卡环；格林戈… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
立方英尺平方英寸 57篇文献引用(1996–2020) 软件作者： 劳伦斯，C。；周杰伦；A.山雀 相关软件： SNOPT；CONOPT公司；禁忌搜索… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Ciao公司 56篇文献引用(1999–2022) 软件作者： Bueno，F.，Cabeza，D.，Carro，M.，Hermenegildo，M.、López-García，P.、Puebla，G。 相关软件： CiaoPP；SICStus公司；汞… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
迷你们 引用于54份文件(2005–2023) 软件作者： Jefferson，C.、Kotthoff，L.、Moore，N.、Nightingale，P.、Petrie，K.E.、Rendl，A。 相关软件： 间隙；微量锌；OEIS… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；群论与推广（20-XX）…
玩具 56篇文献引用(2001–2022) 软件作者： F.J.López Fraguas，J.Sánchez Hernández 相关软件： 巴贝尔；哈斯克尔；PAKCS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
马林鱼 56篇文献引用(2020–2023) 软件作者： 亚历山德罗·基耶萨；胡云聪；玛丽·马勒（Mary Maller）；米什拉、普拉图什；韦斯利，诺亚；尼古拉斯·沃德 相关软件： 斯巴达人；皮诺奇；libiop… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
RSVM公司 51份文件中引用(2004–2023) 软件作者： Yuh-Jye Lee，Olvi L.Mangasarian先生 相关软件： UCI-ml；LIBSVM；Matlab… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
操作系统质量保证 49篇文献引用(2018–2024) 软件作者： Bartolomeo Stellato、Goran Banjac、Paul Goulart、Alberto Bempoad、Stephen Boyd 相关软件： 古罗比；莫塞克；qpOASES… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
捕图者 28篇文献引用(2001–2014) 软件作者： I.J.Cox、M.L.Miller、S.M.Omohundro、P.N.Yianilos、， 相关软件： VisualSEEk；PicToSeek；NeTra… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
CONMIN公司 52篇文献引用(1978–2022) 软件作者： G.N.范德普拉茨 相关软件： 切割机；算法500；可爱… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
污水处理厂 46篇文献引用(2007–2023) 软件作者： 维杰·加内什（Vijay Ganesh）；特雷弗·汉森；马特·索斯；Dan Liew；Ryan Govostes；安德鲁·琼斯；等。 相关软件： z3；投掷；可爱… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
RealPaver公司 51份文件中引用(2003–2017) 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
RTRMC公司 51份文件中引用(2013–2023) 软件作者： Boumal，N.，Absil，P.A.公司。 相关软件： 马诺普特；LMaFit；ADMiRA… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
HSolver公司 在48份文件中引用(2005–2023) 软件作者： Stefan Ratschan；知坤社；托马斯·泽特库利奇 相关软件： RSOLVER公司；基准；高科技… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Numerica公司 在48份文件中引用(1998–2023) 软件作者： van Hentenryck，P.、Deville，Y.、Michel，L。 相关软件： 进入PT_90；RealPaver；BARON… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
向外旋转 45篇文献引用(1999–2021) 软件作者： 美国兹威克。 相关软件： 环形切口；塞杜米；SDPT3… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
PaToH公司 39篇文献引用(2004–2023) 软件作者： Catalystürek，U.V.，Aykanat，C。 相关软件： 稀疏矩阵；METIS公司；佐尔坦… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
TSPTW公司 43篇文献引用(2001–2023) 软件作者： 菲利波·福卡奇；安德烈亚·洛迪；米歇拉·米兰 相关软件： LKH；VRP；TSPLIB… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
NLPQLP公司 42篇文献引用(2000–2023) 软件作者： K希特科夫斯基 相关软件： NLPQL；QL；MISER3… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
QSDPNAL公司 40篇文献引用(2016–2024) 软件作者： Li，X.D.，Sun，D.F.，Toh。K.-C.公司。 相关软件： SDPNAL+；QSDP；SDPT3… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LMI银行 41篇文献引用(2006–2023) 软件作者： 罗伯特·奥尔西 相关软件： YALMIP；塞杜米；彭巴迪… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；微分几何（53-XX）；量子理论（81-XX）…
楔块 41篇文献引用(2001–2022) 软件作者： 马塞洛·马拉齐；豪尔赫·诺塞达尔 相关软件： DFO；UOBYQA；NEWUOA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
Clingcon公司 39篇文献引用（2009年至2022年） 软件作者： 马丁·格布瑟；马克斯·奥斯特罗斯基；托尔斯滕·绍布 相关软件： 克林戈；卡环；格林戈… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
OR-醇 37篇文献引用(2013–2023) 软件作者： 谷歌；佩伦，L。；弗农，V。 相关软件： CPLEX；古罗比；迷你锌… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
全球溶胶 38篇文献引用(1999–2020) 软件作者： R.Baker Kearfott先生 相关软件： 进入PT_90；BARON公司；COCONUT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
口服避孕药 39篇文献引用(2000–2023) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；劳伦·佩伦（Laurent Perron）；Jean-Francois，普吉 相关软件： CPLEX；AMPL；芯片… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
PARPAP公司 38篇文献引用(2006–2023) 软件作者： 贝特尔斯，斯特凡；托尔斯滕·法勒 相关软件： VRP；古罗比；超启发式… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
复杂的 37篇文献引用(2006–2023) 软件作者： 莱布弗里茨F 相关软件： 康普莱布；HIFOO；彭巴迪… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
sbw公司 35篇文献引用(2015–2023) 软件作者： JoséR·祖比扎雷塔。 相关软件： KBAL；mipmatch；DOS… 主要字段： 统计学（62-XX）；运筹学，数学编程（90-XX）
斯巴达人 37篇文献引用(2020–2023) 软件作者： 斯琳塔·塞蒂 相关软件： 力比奥；马林鱼；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
派克斯 23篇文献引用(2009–2018) 软件作者： 尼古拉·蒂尔曼（Nikolai Tillmann）、乔纳森·德哈勒克斯（Jonathan de Halleux） 相关软件： 投掷；可爱的；z3… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
格兰索 35篇文献引用(2017–2023) 软件作者： 蒂姆·米歇尔 相关软件： 梯度采样；MESS；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
LSTRS公司 35篇文献引用(2005–2022) 软件作者： M.Rojas、S.A.Santos和D.C.Sorensen 相关软件： GQTPAR；HSL-VF05；ARPACK… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
拉索 34份文件引用(2006–2023) 软件作者： Kim，Yongdai；Kim，Yuwon；Kim，Jinseog先生 相关软件： 拉索2；备用记录寄存器；PDCO… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
副SCIP 32篇文献引用(2006–2023) 软件作者： Yuji Shinano、Tobias Achterberg、Timo Berthold、Stefan Heinz、Thorsten Koch 相关软件： SCIP；无人值守地面；MIPLIB… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
普韦布洛 33篇文献引用(1998–2021) 软件作者： 侯赛因·M·希尼。；卡里姆·A·萨卡拉。 相关软件： MiniSat；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
LSSPER公司 28篇文献引用(2004–2023) 软件作者： 米雷尔·帕尔潘特；Artigues，基督教；菲利普·米歇隆 相关软件： PSPLIB；分散搜索；进展… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
快速解释 31份文件引用(2008–2022) 软件作者： 美国容克。 相关软件： MiniSat；PicoSAT；葡萄糖… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SMPSO公司 28篇文献引用（2010年-2023年） 软件作者： Nebro，A.J.、Durillo，J.J.、Garcia-Nieto，J.、Coello Coello，C.A.、Luna，F.、Alba，E。 相关软件： MOEA/D；SPEA2；jMetal… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
糖 31份文件引用(2006–2023) 软件作者： 田村直之（Naoyuki Tamura） 相关软件： MiniSat；微量锌；Gecode… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
可视MISER 31份文件引用(2016–2023) 软件作者： 杨峰；Teo，Kok Lay；Ryan Loxton；Volker Rehbock；李斌；俞长军；莱斯利·詹宁斯 相关软件： 吝啬鬼3；NLPQL；NLPQLP… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；运筹学，数学规划（90-XX）…
美国铝业公司 22篇文献引用(2000–2023) 软件作者： Jackson，D。；谢赫特，I。；我·什利亚克特。 相关软件： 合金；自旋蛋白；箔条… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CC-Pi公司 28篇文献引用(2007–2022) 软件作者： 玛丽亚·格拉齐亚·巴斯米（Maria Grazia Buscemi），乌戈·蒙塔纳里（Ugo Montanari） 相关软件： 奶牛；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
D-ADMM公司 30篇文献引用(2013–2023) 软件作者： Mota，Joáo F.C。；Joáo M.F.Xavier。；阿吉亚尔，佩德罗·M·Q。；马库斯·普舍尔 相关软件： AIDE；UCI-ml；传奇… 主要字段： 算子理论（47-XX）；统计学（62-XX）；计算机科学（68-XX）…
人力资源 27篇文献引用(2002–2022) 软件作者： 西蒙·科尔顿 相关软件： 涂鸦；水獭；梅斯4… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
QOCA公司 27篇文献引用(1970–2018) 软件作者： Kim万豪酒店；乔·西特·森 相关软件： 天蓝色；食火鸡；HiRise… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
萨尔萨 30篇文献引用(2000–2017) 软件作者： 弗朗索瓦·拉伯特；伊夫·卡索 相关软件： 彗星；本地化人员；Oz… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
陆军装备司令部 26篇文献引用(2007–2022) 软件作者： 安德烈亚斯·波德尔斯基（Andreas Podelski）、安德烈·里巴尔琴科（Andrey Rybalchenko） 相关软件： SLAM；跟踪器；匕首… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
基准 28篇文献引用(2005–2023) 软件作者： 斯特凡·拉特肖恩（Stefan Ratschan）；她，志坤 相关软件： RSOLVER公司；HSolver；高科技… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
马拉布 26篇文献引用(2021–2024) 软件作者： Katz，G.，Huang，D.A.，Ibeling，D.，Julian，K.，Lazarus，C.，Lim，R.，Shah，P.，Thakoor，S.，Wu，H.，Zelji-C，A.，Dill，D.L.，Kochenderfer，M.J.，Barrett，C。 相关软件： Reluplex；NNV；AI2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
OFMC公司 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PySAT公司 27篇文献引用(2018–2023) 软件作者： 阿列克谢·伊格纳提耶夫（Alexey Ignatiev）；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 相关软件： MiniSat；葡萄糖；GitHub… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
锌 28篇文献引用(2005–2022) 软件作者： Kim万豪酒店；尼赫科特，尼古拉斯；雷扎·拉斐；Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；马克·华莱士 相关软件： 本质；微量锌；Gecode… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
BL数据集 27篇文献引用(2000–2023) 软件作者： 菲利普·巴蒂斯特（Philippe Baptiste）、克洛德·勒·佩普（Claude Le Pape） 相关软件： PSPLIB；炸薯条；克莱尔… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
CP计划 26篇文献引用(2000–2011) 软件作者： 彼得·范·比克 相关软件： 图形平面图；随身听；PDDL… 主要字段： 群论与推广（20-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
本质 27篇文献引用(2008–2023) 软件作者： 艾伦·M·弗里希（Alan M.Frisch）。；沃里克·哈维；克里斯·杰斐逊（Chris Jefferson）；马丁内斯·埃尔南德斯（Martínez-Hernández），伯纳黛特（Bernadette）；伊恩·米格尔 相关软件： 微量锌；锌；ESRA… 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；量子理论（81-XX）…
图尔巴尔2 27篇文献引用(2007–2023) 软件作者： 托马斯·希克斯；西蒙·德·吉夫里（Simon de Givry）；大卫·阿洛奇 相关软件： mplp2；数字插孔；MaxHS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LINCS系统 22篇文献引用(2001–2020) 软件作者： 赫斯，B。；Bekker，H。；Berendsen，H.J.C。；Fraaije，J.G.E.M 相关软件： 格罗姆克斯；定居；VMD… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；量子理论（81-XX）…
SDPEN公司 24篇文献引用(2010–2022) 软件作者： G.Liuzzi、S.Lucidi、M.Sciandrone、K.Truemper 相关软件： NOMAD公司；DFL；DFBOX_IMPR… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
IRKC公司 23篇文献引用(2006–2023) 软件作者： Shampine，L.F.公司。；Sommeijer，B.P.公司。；J.G.韦尔。 相关软件： RKC；罗德斯；投票… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
元工具 22篇文献引用(2007–2019) 软件作者： 冯·坎普A、舒斯特S 相关软件： efmtool；KEGG；亚纳… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…