z3（零3） 761份文件引用（2001年至2024年） 软件作者： 微软研究院；莱昂纳多·德·莫拉；尼古拉·比约纳 相关软件： CVC4；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
减少 738份文件引用(1970–2023) 软件作者： Anthony C.Hearn；格哈德·雷纳（Gerhard Rayna）；Rainer Schöpf；托马斯·斯特姆 相关软件： 枫树；Mathematica；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
MIPLIB公司 374份文件引用（1994年至2024年） 软件作者： 阿切特伯格，托拜厄斯；科赫、托尔斯滕；亚历山大·马丁 相关软件： SCIP；MIPLIB2003；CPLEX… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GLPK公司 196篇文献引用(2004–2023) 软件作者： 安德鲁·马科林 相关软件： CPLEX；古罗比；AMPL… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；卡拉卡拉；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
安提戈内 127篇文献引用(2014–2023) 软件作者： 露丝·米塞纳；弗卢达斯，克里斯托杜洛斯A。 相关软件： SCIP；BARON公司；Ipopt… 主要字段： 变分法与最优控制；优化（49-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
电影 53篇文献引用(2008–2022) 软件作者： 库马尔·阿比舍克；斯文·莱弗尔（Sven Leyffer）；杰夫·林德拉斯 相关软件： 邦明；Ipopt；SCIP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
bc-prod公司 44篇文献引用(2000–2022) 软件作者： 盖坦省贝尔沃；劳伦斯·A·沃尔西。 相关软件： CPLEX；XPRESS；MULTILSB… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
算法719 41篇文献引用(1993–2017) 软件作者： D.H.贝利。 相关软件： 算法693；Mathematica；mctoolbox… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
DICOPT公司 引用于39份文件(1997–2022) 软件作者： 伊格纳西奥·格罗斯曼 相关软件： 邦明；GAMS；Ipopt… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Zimpl公司 34份文件引用(2005–2023) 软件作者： 托尔斯滕·科赫 相关软件： SCIP；CPLEX；SoPlex… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
多线性引擎 33篇文献引用(2002–2022) 软件作者： 彭蒂·帕特罗 相关软件： 张量工具箱；Matlab；石蜡… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
GRIN公司 31份文件引用(1995–2023) 软件作者： Serkan Hosten，Bernd Sturmfels公司 相关软件： 麦考利2号；可可；奇异… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
PySP公司 28篇文献引用(2012–2023) 软件作者： Jean-Paul Watson；伍德拉夫，大卫·L·。；威廉·哈特（William E.Hart）。 相关软件： 皮奥莫；CPLEX；古罗比… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SRRIT公司 29篇文献引用(1980–2023) 软件作者： Bai，Z。；G.W.斯图尔特。 相关软件： ARPACK；JDQZ；eigs… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；流体力学（76-XX）…
WinGULF公司 27篇文献引用(1999–2023) 软件作者： 巴贾利诺夫，埃里克·B。 相关软件： GloptiPoly；塞杜米；YALMIP… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
MIRP库 26篇文献引用(2014–2023) 软件作者： 迪米特里·帕帕乔治奥。；乔治·L·纳姆豪泽。；乔尔·索科尔；Cheon，Myun-Seok；艾哈迈特·凯哈（Ahmet B.Keha）。 相关软件： VRP；CPLEX；irace… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
无限群松弛 25篇文献引用（2015年至2022年） 软件作者： 阿弥陀佛巴苏；罗伯特·希尔德布兰德（Robert Hildebrand）；马蒂亚斯·科普 相关软件： 切割生成功能学；GitHub；SageMath… 主要字段： 近似和展开（41-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
JCell公司 14篇文献引用(2008–2021) 软件作者： 伯纳贝多罗索罗 相关软件： j金属；SPEA2；MOEA/D… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；运筹学，数学规划（90-XX）…
四程序IP 15篇文献引用(2020–2023) 软件作者： 夏伟；胡安·C·维拉。；路易斯·祖卢亚加（Luis F.Zuluaga）。 相关软件： QuadProgBB；GitHub；BARON… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Z3-街道 10篇文献引用(2015–2023) 软件作者： Zheng Y、Zhang X、Ganesh V 相关软件： S3；z3；通过… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
格拉帕 11份文件引用(2001–2019) 软件作者： 唐继军；伯纳德·莫雷特（Bernard M.E.Moret）。 相关软件： PAUP*；气体；FastTree… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
OSiL公司 10篇文献引用(2005–2022) 软件作者： 罗伯特·福勒；马军；基普·马丁 相关软件： AMPL；GAMS；LINDO… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
减少的LP 12份文件引用(1992–2019) 软件作者： AndréL.Tits、P.-A.Absil、William P.Woessner 相关软件： rMPC；SDPT3；纽顿KKTqp… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；数值分析（65-XX）…
FATCOP公司 11份文件引用(2001–2018) 软件作者： 陈群；Michael C.Ferris。；杰夫·林德拉斯 相关软件： GAMS；HTCondor MW；MIPLIB… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
双层 9份文件引用(2018–2023) 软件作者： Pineda，S。；Bylling，H。；J.M.莫拉莱斯。 相关软件： BASBL；CPLEX；BOLIB… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
电子数据管理 9份文件引用(2001–2020) 软件作者： 弗兰克·吕贝克 相关软件： 间隙；CPLEX；无斑点… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）…
科林 7份文件引用(2012–2022) 软件作者： 科尔斯，A.J。；科尔斯，A.I。；福克斯，M。；龙，D。 相关软件： PDDL；SCIP计划；TensorFlow… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LPC银行 8份文件引用(2018–2022) 软件作者： 于斌；约翰·米切尔（John E.Mitchell）。；彭宗石 相关软件： CPLEX；古罗比；鼻涕… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
MAIC公司 7份文件引用(2016–2021) 软件作者： Keiji Kimura，Hayato Waki先生 相关软件： UCI-ml；R；CPLEX… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
MIQCR-CB公司 8份文件引用(2016–2023) 软件作者： 阿兰·比隆奈特；Sourour Elloumi；Am'elie Lambert；安吉丽卡·威格尔 相关软件： CSDP；CPLEX；ConicBundle… 主要字段： 组合数学（05-XX）；统计学（62-XX）；运筹学、数学规划（90-XX）
FP-增长 7份文件引用(2013–2023) 软件作者： 克里斯蒂安·博尔盖特 相关软件： CMAR；UCI-ml；埃克拉特… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
GOBNILP公司 7份文件引用(2014–2023) 软件作者： 詹姆斯·库森；马克·巴特利特 相关软件： TETRAD公司；CPLEX；bn学习… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；计算机科学（68-XX）…
陆军部 7份文件引用(2016–2022) 软件作者： 弗洛恩，F。；Naaf，M。；亨塞尔，J。；Brockschmidt，M。；J·吉斯尔。 相关软件： z3；GitHub；TPDB… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
CALC公司 6篇文献引用(1996–2010) 软件作者： 马修斯，K.R。 相关软件： 拼贴；岩浆；间隙 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）
PyQUBO公司 4份文件引用(2021–2022) 软件作者： Mashiyat Zaman、Kotaro Tanahashi、Shu Tanaka 相关软件： ToQ.jl；古罗比；SymPy… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；运筹学、数学规划（90-XX）
脊椎 5份文件引用(2012–2022) 软件作者： Ourfali O、Shlomi T、Ideker T、Ruppin E、Sharan R 相关软件： ProbLog；生物网格；KEGG… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
关联的Legendre函数 5份文件引用(2010–2018) 软件作者： 巴里·施耐德。；哈维尔·塞古拉；Gil，Amparo；关晓旭；克劳斯·巴茨查 相关软件： DLMF；散播；DMTDHF… 主要字段： 组合数学（05-XX）；特殊功能（33-XX）；数值分析（65-XX）…
美国财务会计准则第16号 5份文件引用(1988–2001) 软件作者： 波利，A。；医学博士Gennero。 相关软件： 伊斯兰教；GALOIS公司；AXIOM公司 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
MIPTS公司 5份文件引用(2005–2010) 软件作者： 佩德罗索、若昂·佩德罗 相关软件： OR-库；分散搜索；FEASPUMP… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）
PLuTo公司 5份文件引用(2012–2022) 软件作者： Bondhugula，U.、Hartono，A.、Ramanujam，J.、Sadayappan，P。 相关软件： GitHub；CompCertTSO；火焰… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
ADTEST（自动测试） 1份文件引用(2009) 软件作者： 马修·加拉赫（Matthew J.Gallagher）；V.Lakshmi Narasimhan 相关软件： 基因组学；科拉特；纹身 主要字段： 计算机科学（68-XX）
KoAT公司 4份文件引用(2021–2022) 软件作者： 费比安·梅耶（Fabian Meyer）；哈克，马塞尔；吉尔根·吉斯尔 相关软件： z3；GitHub；TPDB… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
pycombina 4份文件引用(2021–2023) 软件作者： Bürger，A.、Zeile，C.、Hahn，M.、Altmann Dieses，A.、Sager，S.、Diehl，M。 相关软件： 卡萨迪；Ipopt；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
去CODe 3份文件引用(2019–2022) 软件作者： 安德鲁·奥尔曼（Andrew Allman）；唐文涛；Daoutidis，Prodromos公司 相关软件： PowerModels.jl；PaToH；迷你锌… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）
欧几里得 2份文件引用(2012–2017) 软件作者： 阿尔诺·哥特利布（Arnaud Gotlieb）；本杰明·卡玛；IRISA的Lande项目团队 相关软件： 可爱的；投掷；派克斯… 主要字段： 计算机科学（68-XX）
哈斯普林 2份文件引用(2009–2017) 软件作者： Lee，Junkyu；毕、余；Gregory D.Peterson。；Robert J.Hinde。；罗伯特·哈里森。 相关软件： SPRNG；测试U01；RngSteam… 主要字段： 数值分析（65-XX）
IP结 3份文件引用(2012–2017) 软件作者： 佐藤K、加藤Y、滨田M、阿克苏T、浅井K 相关软件： jViz公司。Rna；多重折叠；GitHub… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
lrslib公司 2份文件引用(2008–2017) 软件作者： 大卫·艾维斯 相关软件： lrs；港口；正常（amp；N）… 主要字段： 群论与推广（20-XX）；凸和离散几何（52-XX）；统计学（62-XX）…
pglib uc公司 3份文件引用(2020) 软件作者： Bernard Knueven；詹姆斯·奥斯特罗斯基；珍妮·鲍尔·沃森 相关软件： 皮奥莫；古罗比；GitHub… 主要字段： 运筹学、数学规划（90-XX）
P最大值 3份文件引用(2014–2022) 软件作者： Fadi A.Zaraket。；Majd Olleik；亚辛（Ali A.Yassine）。 相关软件： SINTEF公司；CPLEX；npuScheduler… 主要字段： 运筹学、数学规划（90-XX）
speedy_colorful_subtrees（速度_颜色_子树） 3份文件引用(2015–2021) 软件作者： 怀特（W.Timothy J.White）。；斯蒂芬·拜尔（Stephan Beyer）；杜尔科普，Kai；马库斯·奇马尼；塞巴斯蒂安·博克 相关软件： 古罗比；GitHub；MolFind… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
加里尼 1份文件引用(2024) 软件作者： 弗朗西斯科·塞肯（Francesco Ceccon）、露丝·米塞纳（Ruth Misener） 相关软件： QPLIB；AIMMS；JuMP… 主要字段： 运筹学、数学规划（90-XX）
GTED公司 2份文件引用(2018–2019) 软件作者： Ali Ebrahimpour Boroojeny、Akash Shrestha、Ali Sharifi Zarchi、Suzanne Renick Gallagher、S Cenk Sahinalp、Hamidreza Chitsaz 相关软件： 赛科；AFGen；Asgan… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
MCMA公司 2份文件引用(1998–2000) 软件作者： 贾努斯·格拉纳特（Janusz Granat）；马雷克·马科斯基 相关软件： 国际会计准则协会；GAMS；HOPDM公司 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
NetSpeak公司 2份文件引用(1997–2007) 软件作者： 布鲁斯·拉马尔（Bruce W.Lamar）。；克里斯·华莱士。 相关软件： – 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
NGPM公司 2份文件引用(2018–2019) 软件作者： 林，S。 相关软件： MOEA/D；直接；GitHub… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
波莉 1份文件引用(2022) 软件作者： Grosser，T。；格罗斯林格，A。；Lengauer，C。 相关软件： libParanumal；吉米克；斯巴达… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
Bestsubset系列 1份文件引用(2020) 软件作者： Hastie，T.，Tibshirani，R.，Tipshirani。 相关软件： 跳跃；GitHub；rms… 主要字段： 统计学（62-XX）
贝塔SCP2 1份文件引用(2014) 软件作者： Ryu、Joonghyun；Lee，Mokwon；查、杰云；Song，Chanyoung；Kim、Deok-Soo 相关软件： BULL！；SCWRL4；CHARMM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
BilevelJuMP.jl公司 1份文件引用(2023) 软件作者： 乔阿金·迪亚斯·加西亚（Joaquim Dias Garcia）；博丹（Bodin，Guilherme）；亚历山大街 相关软件： JuMP；Ipopt；MathOptInterface.jl… 主要字段： 运筹学、数学规划（90-XX）
CNT-ILP公司 1份文件引用(2016) 软件作者： El-Kebir、Mohammed、Benjamin J.Raphael、Ron Shamir、Roded Sharan、Simone Zaccaria、Meirav Zehavi、Ron Zeira 相关软件： 比特系统发育 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MAGECAA公司 1份文件引用(2018) 软件作者： 于雪飞；林良卓；沈洁；陈志；简，君；李斌；Xin，Sherman雪刚 相关软件： GlyCulator；BARON公司 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
皮斯蒂夫 1份文件引用(2018) 软件作者： 托马斯·格莱斯勒 相关软件： Mjollnir公司；cfme；熊猫… 主要字段： 量子理论（81-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
反应Op 1份文件引用(2011) 软件作者： 圣彼得堡化学信息公司（CISP） 相关软件： 化学PAK；FLUENT公司 主要字段： 经典热力学，传热（80-XX）；生物学和其他自然科学（92-XX）
RubiksSubeGeneticAlgorithms解决方案 1份文件引用(2020) 软件作者： 托多尔·巴拉巴诺夫；伊万诺夫，斯托扬；鲁门·凯蒂波夫 相关软件： github 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
稳定TBN 1份文件引用(2021) 软件作者： 戴维·哈雷（David Haley）；大卫·多蒂 相关软件： 4ti2；OR-tools；z3… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
暗室 在0个文档中引用 软件作者： 詹姆斯·赫加蒂（James Hegarty）；John Brunhaver；德维托，扎卡里；乔纳森·拉根·凯利；诺伊·科恩；史蒂文·贝尔（Steven Bell）；阿特姆·瓦西利耶夫；马克·霍洛维茨（Mark Horowitz）；帕特·汉拉罕 相关软件： – 主要字段： –