SDP包 50篇文献引用(1998–2015) 软件作者： Nayakakuppam M V、Overton M L、Schemta S。 相关软件： SDPT3；塞杜米；CSDP… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
生命周期管理 30篇文献引用（2009年至2022年） 软件作者： 武木友野、浅井达也、内田裕三、有村弘子 相关软件： UCI-ml；gSpan；C4.5… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；统计学（62-XX）…
sbw公司 35篇文献引用(2015–2023) 软件作者： JoséR·祖比扎雷塔。 相关软件： KBAL；mipmatch；DOS… 主要字段： 统计学（62-XX）；运筹学，数学编程（90-XX）
R-最大 35篇文献引用(2002–2021) 软件作者： 罗恩·布拉夫曼（Ronen I.Brafman）。；莫舍·坦尼霍尔茨 相关软件： 令人惊叹的；AlexNet公司；ImageNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
问题视图 在11份文件中引用(2005–2018) 软件作者： V.S.拉克希曼南、N.利昂、R.罗斯和V.S.苏布拉曼尼亚。 相关软件： 三重奏；项目TDB；MYSTIQ… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
ASTRAL-II标准 26篇文献引用(2002–2024) 软件作者： S.Mirarab、T.Warnow 相关软件： ASTRID公司；巴基；RAxML… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
开花-四分之一 25篇文献引用(2012–2023) 软件作者： J.F.Remacle、J.Lambrechts、B.Seny、E.Marchandise、A.Johnen、C.Geuzainet 相关软件： Gmsh；github；QuadCover… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
可观察性测试 22篇文献引用(2001–2022) 软件作者： 亚历山大·塞多拉维奇 相关软件： COMBOS公司；雏菊；西安… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
达类 20篇文献引用(2001–2023) 软件作者： De Paepe，Willem E。；Lenstra，Jan Karel；吉里·斯加尔（Jiri Sgall）；Sitters，Ren'e A。；利恩·斯托吉 相关软件： irace；j金属；CP网络 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
测试 19份文件引用（2003年至2020年） 软件作者： A.N.特拉特曼。 相关软件： 语言；COMPAS；Yices… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）…
CEL公司 14篇文献引用(2008–2022) 软件作者： 巴德，F.，卢茨，C.，桑蒂斯里瓦拉朋，B。 相关软件： 颗粒；FaCT++；ELK… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
DLV-EX公司 16篇文献引用(2007–2021) 软件作者： 弗朗西斯科·卡利默里；苏珊娜·科萨；乔瓦姆巴蒂斯塔·伊安尼 相关软件： 克林孔；克林戈；接通DLV… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Sheppack公司 16篇文献引用（2010年至2021年） 软件作者： 威廉·萨克（William I.Thacker）；张静伟；莱恩·T·沃森；杰弗里·伯奇（Jeffrey B.Birch）；曼朱拉·艾耶；迈克尔·W·贝里 相关软件： Matlab；算法792；QSHEP3D… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
GNUC公司 14篇文献引用(2013–2022) 软件作者： 丹尼斯·霍夫海因茨（Dennis Hofheinz）；大声呼喊，维克多 相关软件： 国防部；隐秘HOL；塔马林… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MotifCut公司 10篇文献引用(2008–2023) 软件作者： Eugene Fratkin、Brian T.Naughton、Douglas L.Brutlag、Serafim Batzoglou 相关软件： github；DIMACS；快照… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
奥科蒂洛 10篇文献引用(2000–2016) 软件作者： Goldman，Deborah；Istrail，Sorin；朱塞佩·兰西亚；安东尼奥·皮科波尼；布莱恩·瓦伦茨 相关软件： —— 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
物理SIC 8份文件引用（2009年至2022年） 软件作者： 文森特·兰维兹（Vincent Ranwez）；文森特·贝里；亚历克西斯·克里斯库洛（Alexis Criscuolo）；皮埃尔·亨里·法布雷；西尔万·吉列莫特；赛琳·斯科纳瓦卡；伊曼纽尔·杜泽里（Emmanuel J.P.Douzery） 相关软件： Rec-I-DCM3；RAxML；SuperTriplets… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；数值分析（65-XX）…
委员会机器 9份文件引用(2019–2022) 软件作者： 本杰明·奥宾；安托万·梅拉德；让·巴比尔；科扎卡拉，佛罗伦萨；尼古拉斯·马克里斯（Nicolas Macris）；伦卡州兹德博罗娃 相关软件： dnner；lsd；gss… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
信标 8份文件引用(2016–2022) 软件作者： Arif，M.Fareed；卡洛斯·门西娅（Carlos Mencía）；阿列克谢·伊格纳提耶夫（Alexey Ignatiev）；诺伯特·曼恩；拉斐尔·佩尼亚洛萨；若昂·西尔瓦侯爵 相关软件： HgMUS；ELK；EL2MCS… 主要字段： 计算机科学（68-XX）
SeLoger公司 7份文件引用(2015–2018) 软件作者： Haase，C。；Ishtiaq，S。；Ouaknine，J。；M.J.帕金森。 相关软件： 幻灯片；推断；小脚… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
倾斜 8份文件引用(1999–2015) 软件作者： 费雷雷斯·G，比安尼克·J·M。 相关软件： Mu分析与合成工具箱；LMI工具箱；LFR-toolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；差分方程和函数方程（39-XX）；系统论；控制（93-XX）
幻灯片 7份文件引用(2009–2016) 软件作者： 克里斯蒂安·贝西耶、伊曼纽尔·希伯拉德、布拉希姆·赫尼奇、泽尼普·克孜尔坦、托比·沃尔什 相关软件： ToulBar2；CSPLib；SICStus… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学编程（90-XX）
举起 7份文件引用(2018–2023) 软件作者： 李嘉图（Ricardo Fukasawa）；劳伦·波里耶（Laurent Poirier）；阿林森·S·泽维尔。 相关软件： MIPLIB公司；MIPLIB2003；onerow… 主要字段： 运筹学，数学编程（90-XX）
RIATA-HGT公司 7份文件引用(2005–2021) 软件作者： 卢艾州纳赫勒；德里克·鲁思；王丽珊 相关软件： PhyloNet；PAUP*；T-REX… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
HapCUT公司 6篇文献引用(2012–2016) 软件作者： Vineet Bafna的Vikas Bansal 相关软件： ReFHap；SpeedHap；埃克拉特… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CCUBE公司 4份文件引用(1997–2013) 软件作者： A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo 相关软件： XQuery；抒情的；DEDALE… 主要字段： 计算机科学（68-XX）
柯威 5份文件引用(2019–2021) 软件作者： 马克·贝尔 相关软件： MICC；间隙；OEIS… 主要字段： 群论与推广（20-XX）；复变量函数（30-XX）；几个复变量和分析空间（32-XX）…
标准池-PolyAlgos 5份文件引用(2018–2020) 软件作者： 拉杜·巴尔滕·卢戈詹（Radu Baltean-Lugojan）；露丝·米塞纳 相关软件： APOGEE；GloMIQO；GAMS模型… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学，数学编程（90-XX）
MABSys公司 4份文件引用(2010–2016) 软件作者： 弗朗索瓦·莱梅尔；乌尔古普吕，阿斯利 相关软件： 正则链；英迪夫；AIDA… 主要字段： 交换代数（13-XX）；实函数（26-XX）；常微分方程（34-XX）…
OCTAL公司 4份文件引用(2017–2022) 软件作者： Christensen，S.、Molloy，E.K.、Vachaspati，P.、Warnow，T。 相关软件： ASTRID公司；ASTRAL-II；巴基… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
ODEA公司 4份文件引用(2008–2023) 软件作者： 马丁·厄尔里奇 相关软件： 古罗比；CPLEX；PlaNet公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
btw-ls型 引用于3份文件(2021–2023) 软件作者： 弗雷德里克·西蒙德；马格尼恩（Clémence Magnien）；马蒂厄·拉塔比 相关软件： TQ；蟒蛇 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
深度LLL 引用于3份文件(2014–2020) 软件作者： Felix Fontein；Michael Schneider；乌尔斯·瓦格纳 相关软件： BKZ；波特兰；NTL… 主要字段： 数论（11-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
全球麻省理工学院 引用于3份文件(2015–2021) 软件作者： N.X.Vinh、M.Chetty、R.Coppel、P.P.Wangikar。 相关软件： 阿拉伯国家石油公司；KEGG；棱镜… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
简 引用于3份文件(2016–2023) 软件作者： 科诺，C。；Fielder，D。；卵巢，Y。；Libeskind-Hadas，R。 相关软件： 埃塞特拉；西尔夫克斯 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
k-邻居 引用于3份文件(2014–2016) 软件作者： Denis D.Mauá。；法比奥·科兹曼。 相关软件： 冰雹探测器；ElemStatLearn（电子状态学习） 主要字段： 统计学（62-XX）；计算机科学（68-XX）
路易丝 引用于3份文件(2021–2022) 软件作者： 南卡罗来纳州Patsantzis、南卡罗来纳州Muggleton。 相关软件： github；梅塔戈里；GOLEM… 主要字段： 计算机科学（68-XX）
波特兰 引用于3份文件(2014–2020) 软件作者： Felix Fontein；Michael Schneider；乌尔斯·瓦格纳 相关软件： BKZ；DeepLLL；NTL… 主要字段： 数论（11-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
已验证LLL 引用于3份文件(2018–2020) 软件作者： Ralph Bottesch、Jose Divasón、Maximilian Haslbeck、Sebastian Joosten、ReneéThiemann、Akihisa Yamada 相关软件： HOL；Isabelle/HOL；伊莎贝尔… 主要字段： 数论（11-XX）；计算机科学（68-XX）
CDG实验室 2份文件引用(2015–2017) 软件作者： R.Alfared、D.Béchet、A.Dikovsky 相关软件： —— 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）
翻转剪切 2份文件引用(2011–2013) 软件作者： Brinkmeyer，麦芽酒；Thasso Griebel；塞巴斯蒂安·B“ocker 相关软件： Rec-I-DCM3；PAUP*；物理SIC… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GTED公司 2份文件引用(2018–2019) 软件作者： Ali Ebrahinpour Boroojeny、Akash Shrestha、Ali Sharifi-Zarchi、Suzanne Renick Gallagher、S Cenk Sahinalp、Hamidreza Chitsaz 相关软件： 赛科；AFGen；西贝利亚… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
LLL因子分解 2份文件引用(2018–2020) 软件作者： Jose Divasón、Sebastian Joosten、RenéThiemann、Akihisa Yamada 相关软件： Isabelle/HOL；验证LLL；贝列坎·萨森豪斯… 主要字段： 数论（11-XX）；计算机科学（68-XX）
MotifClick（鼠标点击） 1份文件引用(2015) 软件作者： Zhang S、Li S、Niu M、Pham PT、Su Z 相关软件： MAVisto公司；算法97；PAML… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PTTAC公司 2份文件引用(2017–2018) 软件作者： 卡马乔（Camacho），文学硕士，梅拉约（Merayo），医学博士，麦地那-布洛（Medina-Bulo） 相关软件： —— 主要字段： 计算机科学（68-XX）
Qsymm公司 1份文件引用(2022) 软件作者： Daniel Varjas、Tomas O.Rosdahl、Anton R.Akhmerov 相关软件： 结核杆菌；MagneticTB；SpaceGroupIrep… 主要字段： 统计力学，物质结构（82-XX）
萨那 2份文件引用(2018–2020) 软件作者： 尼尔·马马诺，韦恩·海斯 相关软件： 线路；DeepWalk；SecGraph… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
BATLLNN公司 1份文件引用(2022) 软件作者： James Ferlez；Khedr，Haitham；亚瑟·舒克利 相关软件： github；马拉博；佩里恩… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
费用_分配 1份文件引用（2018年） 软件作者： 马丁·恩格尔（Martin S.Engler）。；贝特朗·卡隆；韦恩（Veen）、卢伦斯（Lourens）；Geerke，Daan P。；马克，艾伦·E。；Klau，Gunnar W。 相关软件： 锌；ATB；COIN或 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
复杂性分析器 1份文件引用(2021) 软件作者： 埃曼纽尔·海因里；伊曼纽尔·让德尔；罗曼·佩乔；奥利维尔·泽恩 相关软件： ANTLR；AProVE；TcT公司 主要字段： 计算机科学（68-XX）
壁画 1份文件引用(2017) 软件作者： Dalca AV，Brudno M公司 相关软件： RDP2；PhyloBayes 3；分区查找器… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
克朗 1份文件引用(2023) 软件作者： 卢卡·卡尔德罗尼；卢西亚诺·玛加拉；莫雷诺·马尔佐拉 相关软件： KronFit；Matlab公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
MFD-ILP公司 1份文件引用(2022) 软件作者： Fernando H.C.迪亚斯。；露西娅·威廉姆斯；布伦丹·穆米；亚历山大·托梅斯库一世。 相关软件： HISAT；鲑鱼；古罗比… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
模块发现器 1份文件引用(2022) 软件作者： 塞巴斯蒂安·弗莱克（Sebastian Vlaic）、特蕾西亚·康拉德（Theresia Conrad）、克里斯蒂安·托卡斯基-施奈尔（Christian Tokarski-Schnelle）、米卡·古斯塔夫松（Mika Gustafsson）、尤塔·达曼（Uta Dahmen）、莱因哈德· 相关软件： 树突；SigMod；多米诺骨牌… 主要字段： 生物学和其他自然科学（92-XX）
PedKin公司 1份文件引用(2020) 软件作者： Kirkpatrick B、Ge S、Wang L 相关软件： XIBD；佩迪格；IdCoefs… 主要字段： 生物学和其他自然科学（92-XX）
中国人民保险股份有限公司 1份文件引用(2023) 软件作者： Vernet，Mathilde；尤恩·皮涅（Yoann Pigné）；埃里克·桑拉维尔 相关软件： GraphStream；SNAP（快照） 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
午睡 1份文件引用(2019) 软件作者： Vachaspati，P.，Warnow，T。 相关软件： 三重MaxCut；胃；ProCAR… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
STRUL公司 1份文件引用(2011) 软件作者： 里卡尔·福克伯恩；约翰·Löfberg；汉森、安德斯 相关软件： LMI工具箱；康普莱布；YALMIP… 主要字段： 运筹学，数学编程（90-XX）
树形 1份文件引用(2023) 软件作者： Komisarczyk，Konrad；科兹明斯基（Pawel Kozminski）；Szymon的Maksymiuk；Lorenz A.Kapsner。；斯皮泰克（Mikolaj Spytek）；马特乌斯·Krzyzinski；普尔泽米斯劳·比塞克 相关软件： github；水 主要字段： 统计学（62-XX）