CVC4型 185篇文献引用(2013–2023) 软件作者： Barrett，C.、Conway，C.L.、Deters，M.、Hadarean，L.、Jovanović，D.、King，T.、Reynolds，A.、Tinelli，C。 相关软件： z3；SMT-LIB；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
ELAN公司 106篇文献中引用（1996-2020） 软件作者： Peter Borovansky、Eric Deplagne、Claude Kirchner、Helene Kirchner、Pierre Etienne Moreau、Christophe Ringeisesen、Marian Vittek 相关软件： 莫德；咖啡馆；OBJ3… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
4eMka2公司 53篇文献引用(1999–2023) 软件作者： S.Greco、B.Matarazo、R.Slowinski 相关软件： LERS；M-MACBETH；视觉UTA… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
PariTOP公司 引用于33份文件(2001–2023) 软件作者： 奥萨马·凯塔尼；卡里姆·科利菲 相关软件： 林多；禁忌搜索；MOAPPS… 主要字段： 历史与传记（01-XX）；统计学（62-XX）；数值分析（65-XX）…
zk-快照 29篇文献引用(2014–2024) 软件作者： Eli Ben-Sasson；亚历山德罗·基耶萨；特罗姆，埃兰；夫人维尔扎 相关软件： 皮诺奇；C的SNARK；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
PREFDIS公司 27篇文献引用(2000–2023) 软件作者： Zopounidis，C.和Doumpos，M。 相关软件： UTA Plus；视觉UTA；电气… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
复合式MuPAD 24篇文献引用(2004–2019) 软件作者： 弗朗索瓦·德斯库恩斯 相关软件： MuPAD；组织环境信息系统；SageMath… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
SONET公司 22篇文献引用(1996–2013) 软件作者： —— 相关软件： SNDlib；TSPLIB；蜘蛛… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
IPSSIS公司 18篇文献引用(2011–2023) 软件作者： 西多纳斯（Xidonas）、帕纳吉奥蒂斯（Panagiotis）；乔治·马夫罗塔斯；佐普尼迪斯，君士坦丁；约翰·帕萨拉斯 相关软件： 电气；GTM；NBI… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
DEX公司 12份文件引用(1995–2023) 软件作者： 博哈内克M 相关软件： proDEX；提示；DEXi… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
探查 11份文件引用(2012–2021) 软件作者： Lourenço，J.C.，Morton，A.，Bana e Costa，C.A。 相关软件： ComPAIRS公司；RICH决策；主要决策… 主要字段： 一般性和全局性主题；藏品（00-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
DSSAT卫星 9份文件引用(2007–2022) 软件作者： Jones，J.、Tsuji，G.、Hoogenboom，G.，Hunt，L.、Thornton，P.、Wilkens，P.和Imamura，D.等人 相关软件： R；作物系统；转子… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；运筹学，数学编程（90-XX）…
市场营销 10篇文献引用(1999–2016) 软件作者： 尼古拉斯·F·马塔西尼斯（Nikolaos F.Matsatsinis）；亚尼斯·西斯科斯 相关软件： UTA Plus；米诺拉；视觉UTA… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
里奥纳 9份文件引用(2002–2018) 软件作者： 戈拉，格热戈兹；阿卡迪乌斯·沃纳 相关软件： Rseslib；LERS；罗塞塔… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
OMAC公司 9份文件引用(1997–2010) 软件作者： Kenneth N.McKay。；大卫·B·克莱特（David B.Kletter）。；斯蒂芬·格雷夫斯（Stephen C.Graves）。 相关软件： —— 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
CHAN4铸件 7份文件引用(2008–2023) 软件作者： Divakar，S。；Ratchford，B.T。；V·尚卡尔。 相关软件： 均方根；弹性网；PcGets… 主要字段： 动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
阿戈斯 7份文件引用(2000–2010) 软件作者： 杰拉德·科尔森 相关软件： VIP分析；Web-HIPRE；VIKOR… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
回路 7份文件引用(1997–2020) 软件作者： 托马斯·汉恩 相关软件： 梅斯4；证明人9；间隙… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
问题 7份文件引用(1995–2017) 软件作者： 卡德纳斯，J.M。；威尔德盖，J.L。 相关软件： 投资回报率；模糊LP；模糊数字… 主要字段： 历史与传记（01-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
莫塞尔 5份文件引用(1997–2018) 软件作者： P.Kelb、T.Margaria、M.Mendler、C.Gsottberger 相关软件： MONA；Z；EMBOSS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DTREG公司 1份文件引用(2010) 软件作者： 谢罗德PH 相关软件： 神经网络工具箱；KernSmooth；基因组学… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
ESY公司 2份文件引用(2014–2016) 软件作者： Papamichail，K.N.，法语，S。 相关软件： 视觉UTA；签证；WINPRE… 主要字段： 一般性和全局性主题；藏品（00-XX）；运筹学、数学规划（90-XX）
PROLEG公司 4份文件引用(2012–2021) 软件作者： Satoh，K.、Asai，K.、Kogawa，T.、Kubota，M.、Nakamura，M.、Nishigai，Y.、Shirakawa，K.、Takano，C。 相关软件： SCIFF；Potassco；天基信息平台 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
承诺 5份文件引用(1999–2022) 软件作者： Lee，Won Jun；Lee，Kun Chang先生 相关软件： Web-HIPRE；PETAPS公司；Visual Basic 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
REBA公司 5份文件引用(2019–2023) 软件作者： 莫汉·斯里德哈兰；Michael Gelfond；张世奇；杰里米·怀亚特 相关软件： 人民；CCalc；AlphaZero… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
E-NAUTILUS公司 4份文件引用(2015–2021) 软件作者： Ana B.Ruiz、Karthik Sindhya、Kaisa Miettinen、Francisco Ruiz和Mariano Luque 相关软件： MOEA/D；NBI；非凸Pareto Navigator… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
MULINO-DSS公司 4份文件引用(2004–2017) 软件作者： J.Mysiak、C.Giupponi、A.Fassio 相关软件： MAMCA；M-MACBETH公司 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
NeXCLas公司 4份文件引用(2010–2020) 软件作者： 乔治·里戈普洛斯（George Rigopoulos）；Askounis，Dimitrios Th。；Metaxiotis，Konstantinos公司 相关软件： 电气；UTA Plus；VIKOR… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SIAD公司 4份文件引用(2008–2017) 软件作者： —— 相关软件： ISYDS公司 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
斑疹病毒2 4份文件引用(2019–2022) 软件作者： Ábrahám，E。；科齐留斯，F。；约翰森，EB；Kremer，G。；Mauro，J。；弗伦泽尔，M。；卡普尔，D。；詹，N。 相关软件： z3；CPLEX；Yices… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
D-SCIDS公司 1份文件引用(2019) 软件作者： Abraham，A.、Jain，R.、Thomas，J.和Han，S.Y。 相关软件： RSBR_；玫瑰；UCI-ml… 主要字段： 计算机科学（68-XX）
地理医学 2份文件引用(1997–2000) 软件作者： 卡拉卡皮利迪斯，尼科斯；帕帕迪亚斯、迪米特里斯；托马斯·戈登；汉斯·沃斯 相关软件： —— 主要字段： 数学逻辑与基础（03-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
IFLP公司 3份文件引用(1995–2019) 软件作者： 赖，Y。；黄，C。 相关软件： FPLP；PROBO；轻弹 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
麦克拉德 1份文件引用(2014) 软件作者： R.T.马库拉，K.J.马库罗 相关软件： 西拉默；BacSim；神经元… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MOIRA公司 3份文件引用(2000–2016) 软件作者： Ríos Insua，D.、Gallego，E.、Mateos，A.、Ríos-Insua，S.、Monte，L.、Brittain，J.E.、Galleog，E.，Hákanson，L.，Hofman，D.、Jiménez，A。 相关软件： 视觉UTA；签证；WINPRE… 主要字段： 一般性和全局性主题；藏品（00-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
移动的 3份文件引用(2016–2022) 软件作者： Eliashberg，J；Jonker，J-J；萨维尼，理学硕士；维伦加，B， 相关软件： —— 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ProCKSI公司 2份文件引用(2012–2013) 软件作者： Daniel Barthel、Jonathan D Hirst、Jacek Bża ewicz、Edmund K Burke、Natalio Krasnogor 相关软件： NeoBio；CDNA；DNA压缩… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
鲁塔雷普 2份文件引用(2009–2016) 软件作者： Belenguer，J.M。；Benavent，E。；M.C.马丁内斯。 相关软件： VRP；尼禄 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
WINGDSS公司 3份文件引用(1995–2016) 软件作者： Rapcsák，T.、Sági，Z.、Tóth，T.和kétszeri，L。 相关软件： HIPRE 3+；视觉UTA；签证… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
ACADEA公司 2份文件引用(2000–2016) 软件作者： 阿格雷尔，Per J；拉尔夫·斯特尔 相关软件： 视觉UTA；签证；WINPRE… 主要字段： 一般性和全局性主题；藏品（00-XX）；运筹学、数学规划（90-XX）
亚的斯亚的斯 2份文件引用(2014–2017) 软件作者： van Valkenhoef，G.、Tervonen，T.、Zwinkels，T.，de Brock，B.、Hillege，H。 相关软件： 预防措施；视觉UTA；pmml… 主要字段： 运筹学、数学规划（90-XX）
迪丹++ 2份文件引用(1999–2015) 软件作者： Wierzbicki，Andrzej P。；Janusz格拉纳特 相关软件： GAMS；CAMOS公司 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
埃尔维拉 2份文件引用(2008–2011) 软件作者： 安德烈斯·卡诺 相关软件： HUGIN公司；内蒂卡；BNT… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
FlexiMine公司 2份文件引用(2003) 软件作者： Ben-Eliyahu-Zohary，R。；Domshlak，C。；古德斯，E。；柳斯特尼克，N。；梅赛尔，A。；Rosen，T。；Shimony，S.E。 相关软件： 诺曼 主要字段： 计算机科学（68-XX）
瓜多尔 1份文件引用(2016) 软件作者： 大卫·哈丁；康拉德·斯林德（Konrad Slind）；迈克尔·惠伦（Michael Whalen）；团结Pham 相关软件： OpenSMT；麻糬；RADA… 主要字段： 计算机科学（68-XX）
ISYDS公司 2份文件引用(2009–2017) 软件作者： L.Angulo Meza、L.Biondi Neto、J.C.C.B.Soares de Mello、E.G.Gomes 相关软件： SIAD公司 主要字段： 运筹学、数学规划（90-XX）
LibFinder（LibFinder） 在0个文档中引用 软件作者： Ali Ouni；劳拉·盖科维娜·库拉；Marouane Kessetini；Daniel M Germanán的Takashi Ishio；井上胜郎 相关软件： LibRec；Librarys.io；单词2vec… 主要字段： ——
莫纳利萨 2份文件引用（2009-2011年） 软件作者： I.Legrand、H.Newman、R.Voicu、C.Cirstoiu、C.Grigoras、C.Dobre、A.Muraru、A.Costan、M.Dediu、C.Stratan 相关软件： BlobSeer；NetLogger（网络记录器） 主要字段： 计算机科学（68-XX）
MUDD公司 1份文件引用(2019) 软件作者： 约翰·斯蒂芬斯（John M.Stephens）；梅克尔·珀斯 相关软件： 漏洞；Matlab；毒素… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
OpenMORDM公司 1份文件引用(2020) 软件作者： 哈德卡·D、赫尔曼·J、里德·P、凯勒·K。 相关软件： SALib公司；探索性建模工作台；Python… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PETAPS公司 2份文件引用(1995–2006) 软件作者： 约瑟夫·戴维斯（Joseph G.Davis）。；大卫·桑达拉姆 相关软件： Web-HIPRE；承诺；莲花1-2-3 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
新加坡 1份文件引用(2003) 软件作者： Simóes-Marques，Mário J。；费尔南多·豪尔赫·皮雷斯 相关软件： —— 主要字段： 数学逻辑与基础（03-XX）；运筹学、数学规划（90-XX）
ALSE公司 在0个文档中引用 软件作者： Elsheikh，R.、Mohamed Shariff，A.R.B.、Amiri，F.、Ahmad，N.B.、Balasurram，S.K.、Soom，M.A.M。 相关软件： 微生物；R；铝合金 主要字段： ——
AMLBID公司 在0个文档中引用 软件作者： Moncef Garouani、Adeel Ahmad、Mourad Bouneffa、Mohamed Hamlich 相关软件： AlphaD3M；Apache Spark；Matlab… 主要字段： ——
CyGraph（赛格图） 1份文件引用(2018) 软件作者： Noel，S。；哈雷，E。；Tam，K。；利米埃罗，M。；共享，M。 相关软件： MulVAL；TCPDUMP公司 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
决策大师 在0个文档中引用 软件作者： 亚历山大·波德维索夫斯基、Alena Zakharova、Dmitriy Korostelyov、亚历山大·库津 相关软件： MindDecider；超级决策；可视化C# 主要字段： ——
群体决策支持系统 1份文件引用(2016) 软件作者： Prism决策系统有限责任公司 相关软件： 视觉UTA；签证；WINPRE… 主要字段： 一般性和全局性主题；藏品（00-XX）；运筹学、数学规划（90-XX）
超级数据库 1份文件引用(2007) 软件作者： Kim，Tae-Kyung；郑承云；Kim，Kyong-Ran；Yoo，Jae Soo；Wan-Sup Cho 相关软件： —— 主要字段： 计算机科学（68-XX）
MicroLEIS公司 在0个文档中引用 软件作者： De la Rosa，D.、Mayol，F.、Diaz Pereira，E.、Fernandez，M.、De la Rosa，D。 相关软件： ALSE；R；铝合金 主要字段： ——
紧急求救信号 1份文件引用(2018) 软件作者： Alvarez-Vázquez，L.J。；García-Chan，N。；马丁内斯。；巴斯克斯-门德斯，M.E。 相关软件： MIKE21；Matlab公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）