开普勒98 226篇文献引用(2000–2024) 软件作者： 托马斯·黑尔斯（Thomas C.Hales）。；塞缪尔·弗格森。 相关软件： Flyspeck；Isabelle/HOL；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；凸和离散几何（52-XX）…
圆形包装 122篇文献引用(2005–2023) 软件作者： 肯·斯蒂芬森 相关软件： 施瓦兹-克里斯托菲尔；SC工具箱；SageMath… 主要字段： 组合数学（05-XX）；复变量函数（30-XX）；凸和离散几何（52-XX）…
GloMIQO公司 86篇文献引用(2009–2023) 软件作者： C.A.Floudas；露丝·米塞纳 相关软件： SCIP；BARON公司；安提戈内… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；统计学（62-XX）…
HElib（HElib） 64篇文献引用(2014–2024) 软件作者： Shai Halevi；维克多，大叫 相关软件： FHEW；GitHub；TFHE… 主要字段： 数论（11-XX）；交换代数（13-XX）；计算机科学（68-XX）…
野牛 45篇文献引用(1997–2023) 软件作者： Scholl，A.、Klein，R.、Jürgens，C。 相关软件： OR-库；CPLEX；背包… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
算法864 21篇文献引用(2005–2021) 软件作者： 西尔瓦诺·马特洛；大卫·皮辛格；丹尼尔·维戈；埃德加·登·博夫（Edgar Den Boef）；扬·科斯特 相关软件： Ts2pack；VRP；CPLEX… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
BPPLIB公司 19份文件引用(2018–2024) 软件作者： 马克森·德洛姆；曼努埃尔·伊奥里；西尔瓦诺·马特罗 相关软件： OR-库；2DCPackGen；2DPackLib… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）
立方厘米（FD） 18篇文献引用(1998–2022) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·迪维尔 相关软件： CPLEX；彗星；Choco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
帕克莫尔 16篇文献引用(2012–2023) 软件作者： 马丁内斯，L.，安德拉德，R.，比金，E.G.，马丁内兹，J.M。 相关软件： 阿尔根坎；格兰索；兰斯洛… 主要字段： 变分法与最优控制；优化（49-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
2DCPackGen软件 15篇文献引用(2014–2023) 软件作者： 埃尔莎·席尔瓦；JoséF.Oliveira。；格哈德·瓦舍尔 相关软件： BPPLIB；OR-库；帕拉米尔斯… 主要字段： 凸和离散几何（52-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
Ts2包 14篇文献引用(2009–2021) 软件作者： 特奥多尔·加布里埃尔（Teodor Gabriel）；圭多·佩博利；罗伯托·塔迪 相关软件： 算法864；Packlib2；2DCPackGen… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）
HyFlex公司 7份文件引用(2012–2021) 软件作者： 加布里埃拉·奥乔亚；马修·海德（Matthew Hyde）；乌龟，蒂姆；Jose A.Vazquez-Rodriguez。；詹姆斯·沃克（James Walker）；米歇尔·根德劳（Michel Gendreau）；格雷厄姆·肯德尔（Graham Kendall）；巴里·麦科勒姆（Barry McCollum）；安德鲁·帕克斯。；佩特罗维奇，萨尼亚；埃德蒙·伯克（Edmund K.Burke）。 相关软件： 超启发式；Hyperion；帕拉米尔斯… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
算法786 12份文件引用(1998–2017) 软件作者： 大卫·M·史密斯。 相关软件： MPFR；算法693；gmp… 主要字段： 特殊功能（33-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
长方体代码 12份文件引用(2018–2023) 软件作者： 艾哈迈德·阿卜迪；热拉尔·科努约尔斯；古里查诺娃，纳塔利亚；李，达宾 相关软件： GitHub；支架 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；运筹学、数学规划（90-XX）
TSpack（TSpack） 12份文件引用(2004–2022) 软件作者： Lodi A、Martello S、Vigo D 相关软件： BPPLIB；TSPACK；OR-库… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）
STR公司 3份文件引用(2002–2021) 软件作者： M.A.Leutenger、S.T.Lopez、J.Edgington 相关软件： 卡斯珀*；ArborX；hlbwh… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
肥胖症 9份文件引用(2013–2023) 软件作者： Specht，E。 相关软件： L-BFGS；CVXPY；CVX… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
打包库2 9份文件引用(2007–2020) 软件作者： 萨恩多·费科特。；Jan C.Van，Der Veen 相关软件： Ts2pack；OR-库；SATO… 主要字段： 运筹学、数学规划（90-XX）
FireWorks公司 1份文件引用(2023) 软件作者： Jain，A。；Ong，S.P。；Chen，W。；Medasani，B。；曲，X。；科彻，M。；布拉夫曼，M。；彼得雷托，G。；里格纳内斯语，G.-M。；Hautier，G。；Gunter，D。；佩尔松，K.A。 相关软件： AiiDA公司；蟒蛇；脓毒症… 主要字段： 数值分析（65-XX）；地球物理学（86-XX）；运筹学、数学规划（90-XX）
TTC公司 6篇文献引用(2017–2022) 软件作者： 保罗·斯普林格（Paul Springer）、阿拉文德·桑卡兰（Aravind Sankaran）、保罗·比安蒂内西（Paolo Bientinesi） 相关软件： 整体叶栅；HPTT；算法862… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
拆分包装 7份文件引用(2017–2023) 软件作者： 塞巴斯蒂安·莫尔 相关软件： 开普勒98；SageMath；肥胖症 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
MinPerim公司 6篇文献引用(2018–2023) 软件作者： 约瑟夫·卡尔拉特（Josef Kallrath）；马库斯·弗雷（Markus M.Frey）。 相关软件： VOROPACK-D；BARON公司；QuickhullDisk… 主要字段： 凸和离散几何（52-XX）；流形和细胞复合体（57-XX）；数值分析（65-XX）…
n图-HE 4份文件引用(2021–2024) 软件作者： 费比安·博埃默（Fabian Boemer）、老挝宜兴（Yixing Lao）、罗萨里奥·卡马罗塔（Rosario Cammarota）、卡西米尔·维尔津斯基（Casimir Wierzynski） 相关软件： 瞪羚；TFHE；MP2ML… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
折叠展开 3份文件引用(2010–2018) 软件作者： Oxana V.Galzitskaya、Sergiy O.Garbuzynskiy、Michail Yu。洛巴诺夫 相关软件： IUPred；罗恩；全局图… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
黎曼映射器 4份文件引用(2018–2022) 软件作者： 大卫·顾 相关软件： ABF++；PlgCirMap；DistMesh… 主要字段： 复变量函数（30-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
沃罗巴克-D 4份文件引用(2021–2022) 软件作者： Ryu，J.，Lee，M.，Kim，D.，Kallrath，J.、Sugihara，K.、Kim，D.S 相关软件： MinPerim公司；CGAL；KnotPlot… 主要字段： 流形和细胞复合体（57-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
二维程序包库 3份文件引用(2022–2023) 软件作者： 曼努埃尔·伊奥里（Manuel Iori）；德利马，维尼修斯·洛蒂；Silvano Martello；米歇尔·莫纳奇 相关软件： BPPLIB；VRP解决程序；Cvrplib… 主要字段： 运筹学、数学规划（90-XX）
NOX等级 1份文件引用(2010) 软件作者： 朱洪波（Hongbo Zhu）、弗朗西斯科·多明格斯（Francisco S Domingues）、英格夫·索默（Ingolf Sommer）、托马斯·伦高（Thomas Lengauer） 相关软件： 细胞定位；不可访问；Rate4Site… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
OR-Gym公司 1份文件引用(2022) 软件作者： Christian D.Hubbs、Hector D.Perez、Owais Sarwar、Nikolaos V.Sahinidis、Ignacio E.Grossmann、John M.Wassick 相关软件： OpenAI健身房；古罗比；MIP学习… 主要字段： 变分法与最优控制；优化（49-XX）；系统论；控制（93-XX）
帕根 2份文件引用(2022–2023) 软件作者： Zinan Lin、Ashish Khetan、Giulia Fanti、Sewoong Oh 相关软件： 比根；Wasserstein GAN；f-GAN… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
沃罗诺尼亚 2份文件引用(2011–2020) 软件作者： Rother，K.、Hildebrand，P.、Goede，A.、Gruening，B.、Preissner，R。 相关软件： McVol；CGAL；SBL… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
iOverbook公司 2份文件引用(2015–2021) 软件作者： Caglar F、Gokhale A 相关软件： 成为CoDiS 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
MEDUSA公司 1份文件引用(2020) 软件作者： Ginsburger，K.、Matuschke，F.、Poupon，F.，Mangin，J.-F.、Axer，M.、Poopon，C。 相关软件： Axon包装；Numba；pybind11… 主要字段： 生物学和其他自然科学（92-XX）
MOLREP公司 2份文件引用(2005–2017) 软件作者： A.Vagin；A.特普利亚科夫 相关软件： CCP4；RDP2；PhyloBayes 3… 主要字段： 总体主题；藏品（00-XX）；统计力学，物质结构（82-XX）；运筹学，数学规划（90-XX）…
ORL公司 1份文件引用(2023) 软件作者： 巴拉坦·巴拉吉、乔丹·贝尔·马斯特森、埃内斯·比尔金、安德烈亚斯·达米亚努、巴勃罗·莫雷诺-加西亚、阿比特·贾恩、罗润飞、阿尔瓦罗·马吉亚、巴拉克里什南·纳拉亚纳斯瓦米、春叶 相关软件： AlphaZero；VRP；CVRPSP… 主要字段： 运筹学、数学规划（90-XX）
SAGE公司 2份文件引用(2015–2019) 软件作者： M.Samadi、J.Lee、D.A.Jamshidi、A.Hormati、S.Mahlke 相关软件： 精密路径指示器；多维数据集浏览器；兄弟竞争… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
坚固性 2份文件引用(2017–2022) 软件作者： 向建生；约翰·鲍尔·拉瑟姆（John-Paul Latham）；阿多·波斯语 相关软件： Q船体；Nike2D；CUDA… 主要字段： 可变形固体力学（74-XX）
AUCSCHED公司 1份文件引用(2015) 软件作者： 塞伦·索纳；加拿大厄兹图拉 相关软件： 太阳网格引擎；泥浆；IPSCHED公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
自动确认 1份文件引用(2008) 软件作者： 沃尔德马尔·科詹（Waldemar Kocjan）；Holmstr“{o} 米，肯尼斯 相关软件： – 主要字段： 概率论与随机过程（60-XX）；光学、电磁理论（78-XX）
Axon包装 在0个文档中引用 软件作者： Mingasson，T.、Duval，T.和Stikov，N.、Cohen-Adad，J。 相关软件： MEDUSA；Numba；pybind11… 主要字段： –
圆形填料 1份文件引用(2016) 软件作者： 凯文·普拉特；康纳·莱利；唐纳德·希伊 相关软件： GitHub；JavaScript脚本 主要字段： 凸和离散几何（52-XX）；计算机科学（68-XX）
水晶探险家 1份文件引用(2021) 软件作者： Wolff SK、Grimwood DJ、McKinnon JJ、Turner MJ、Jayatilaka D、Spackman MA 相关软件： – 主要字段： 统计力学，物质结构（82-XX）
GenericTensorNetworks公司 1份文件引用(2023) 软件作者： 刘金国、高勋、凯恩、卢金、王圣涛 相关软件： GitHub；CUDA本地.jl；CUDA.jl… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；运筹学、数学规划（90-XX）
HIT公司 1份文件引用(2008) 软件作者： Anne E.Counterman Burba、Ursula Lehnert、Eric Z.Yu、Mark Gerstein 相关软件： 插座 主要字段： 生物学和其他自然科学（92-XX）
IPSCHED公司 1份文件引用(2015) 软件作者： 塞伦·索纳；加拿大厄兹图拉 相关软件： 太阳网格引擎；泥浆；AUCSCHED公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
尼禄 1份文件引用(2018) 软件作者： Natalya Pya Arnqvist、Vassyly Voinov、Rashid Makarov、Yevgeniy Voinov 相关软件： R（右） 主要字段： 运筹学、数学规划（90-XX）
波斯顿 1份文件引用(2021) 软件作者： Sinem Sav、Apostolos Pyrgelis、Juan R.Troncoso-Pastoriza、David Froelicher、Jean-Philippe Bossuat、Joao Sa Sousa、Jean-Pierre Hubaux 相关软件： HEAN公司；拉蒂戈；密封… 主要字段： 信息与通信理论，电路（94-XX）
限制和固定 1份文件引用(2023) 软件作者： Joncour，C。；Kritter，J。；米歇尔，S。；谢普勒，X。 相关软件： VRP解决程序；BPPLIB；流行音乐… 主要字段： 运筹学、数学规划（90-XX）
TRAJELIX公司 1份文件引用(2011) 软件作者： Mihaly Mezei、Marta Filizola 相关软件： NAMD；Qmd-plot；欧共体 主要字段： 统计力学，物质结构（82-XX）；生物学和其他自然科学（92-XX）