克洛诺斯 246篇文献引用(1997–2022) 软件作者： Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件： Uppaal；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Hadoop公司 101篇文献引用(2010–2023) 软件作者： Apache软件基金会 相关软件： MapReduce；火花；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
糕点 66份文件中引用(2001–2023) 软件作者： 安东尼·罗斯特龙（Antony Rowstron）；彼得·德鲁舍尔 相关软件： 和弦；脚本；BATON… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
沃夫兰 35篇文献引用(1999–2022) 软件作者： 埃里克，韦贝克；Wil M.P.范德阿尔斯特。 相关软件： PNML；咩咩叫；WSAT… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
迪纳摩 19份文件引用(2011–2023) 软件作者： 迪坎迪亚，G。；哈斯托伦，D。；Jampani，M。；Kakulapati，G。；拉克希曼，A。；Pilchin，A。；Sivasubramanian，S。；Vosshall，P。；沃格尔，W。 相关软件： 卡桑德拉；和弦；Bigtable… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
卡桑德拉 引用于22份文件(2012–2023) 软件作者： Lakshman，A.，Malik，P。 相关软件： 发电机；Bigtable；MongoDB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
相位场UEL 引用于27份文件(2018–2024) 软件作者： 埃米利奥·马丁内斯·帕涅达；Alireza Golahmar；Niordson，Christian F。 相关软件： 相位场H；ABAQUS；相位场FEniCS… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
偶数的 引用于22份文件(1995–2023) 软件作者： 布莱姆，马里奥；吉姆·布雷迪；约书亚·布鲁克；杰·梅农 相关软件： 杰拉苏；Hadoop；发电机… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
德莱德 15篇文献引用(2009–2024) 软件作者： Isard，M。；布迪乌，M。；Yu，Y。；Birrell，A。；费特利，D。 相关软件： MapReduce；Hadoop；火花… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SEC-DED标准 17篇文献引用(1976–1998) 软件作者： 卢卡·彭佐（Luca Penzo）；多纳泰拉·休托；克里斯蒂娜·西尔瓦诺 相关软件： CACTI；MediaBench公司 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CSP防护 17篇文献引用(2005–2022) 软件作者： 吉野县Isobe；马库斯·罗根巴赫 相关软件： PVS；Isabelle/HOL；FDR2… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
推断 15篇文献引用(2015–2023) 软件作者： Calcagno，C.，Distefano，D。 相关软件： 幻灯片；小脚；HIP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ANF公司 12份文件引用(2005–2017) 软件作者： C.R.Palmer、P.B.Gibbons、C.Faloutsos 相关软件： HyperLogLog；gSpan；WebGraph… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
Exa-调整 11份文件引用(2015–2021) 软件作者： 彼得·巴斯蒂安（Peter Bastian）、米尔科·阿滕伯恩德（Mirco Altenbernd）、尼尔斯·阿恩·德雷尔（Nils-Arne Dreier）、克里斯蒂安·恩格尔（Christian Engwer）、乔里特·法尔克（Jorrit Fahlke）、雷内·弗里策（Rene Fritze）、马库斯·盖维勒（Markus Geveler）、多米尼克·戈德克（Dominik Göddeke）、奥列格·伊利耶夫（Oleg Iliev）、奥拉夫·伊普希奇 相关软件： p4测试；交易.ii；DUNE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ASTRA公司 12份文件引用(1991–2016) 软件作者： 康蒂尼，S。；谢尔，S。；Wilikens，M。；de Cola，G.公司。；G.科亚齐。 相关软件： SPGL1；Matlab；TVR-DART… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
隐秘HOL 9份文件引用(2017–2022) 软件作者： Basin，D.，Lochbihler，A.，Sefidgar，S.R。 相关软件： Isabelle/HOL；存档正式证据；霍尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
MOCUS公司 8份文件引用(1977–2020) 软件作者： J.B.Fussell、E.B.Henry、N.H.Marshall 相关软件： FATRAM；准备/套件；ELRAFT… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
PlanMine公司 8份文件引用(2000–2007) 软件作者： 穆罕默德·扎基。；Neal Lesh；Mitsunori小原 相关软件： 铲；BIDE；CloseGraph… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
脆弱EM 6篇文献引用(2021–2023) 软件作者： 海因·普特·西奥多·阿德里安·巴兰 相关软件： R；髋关节；parfm… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
苏贝尔 引用于3份文件(2008–2018) 软件作者： Liu C、Yan X、Fei L、Han J、Midkiff SP 相关软件： VIDA；LIBSVM；阿达布… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
tK目标 6篇文献引用(2005–2008) 软件作者： 德尼古拉（De Nicola）、罗科（Rocco）；丹妮尔·戈拉；罗萨里奥·普格利泽 相关软件： 科莱姆；琳达；克拉瓦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FastImp公司 6篇文献引用(2006–2022) 软件作者： Z.Zhu、B.Song、J.K.White 相关软件： 法斯亨利；quadva；庸医… 主要字段： 数值分析（65-XX）；光学、电磁理论（78-XX）
霍格尔斯 6篇文献引用(2016–2021) 软件作者： Vondrick，C.、Khosla，A.、Malisiewicz，T.、Torralba，A。 相关软件： iHOG；SIFT；AlexNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
交易人员 6篇文献引用(2005–2018) 软件作者： 约翰·菲尔德（John Field）；卡洛斯·瓦雷拉。 相关软件： 埃尔朗；考德；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MODIST公司 4份文件引用(2018–2020) 软件作者： Yang，J.、Chen，T.、Wu，M.、Xu，Z.、Liu，X.、Lin，H.、Yang，M.，Long，F.、Zhang，L.、Zhou，L。 相关软件： SAMC；铁人舰队；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RMPE公司 2份文件引用(2021–2022) 软件作者： 郝淑芳、谢淑琴、泰宇文、陆策武 相关软件： DeepLabCut；OpenPose；Python… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
风景 4份文件引用(2021–2023) 软件作者： 丹尼尔·弗里蒙特（Daniel J.Fremont）。；爱德华·金；托马索·德罗西；Ghosh，Shromona；岳向玉；Sangiovanni-Vincentelli，Alberto L。；Sanjit A.Seshia。 相关软件： 阿波罗；验证；卡拉… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
Sparrow调度器 4份文件引用(2016–2019) 软件作者： Ousterhout，K.，Wendell，P.，Zaharia，M.，Stoica，I。 相关软件： LSCP；PyOD；XGBOD… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
产量 5份文件引用(2007–2021) 软件作者： 瓦法卡鲁伊；Marie-JoséHuguet；皮埃尔·洛佩兹（Pierre Lopez）；Wady Naanaa 相关软件： 自由裁量权；帝国；CPLEX… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
DARX公司 引用于3份文件(2006–2012) 软件作者： O.马林、M.伯蒂尔、P.森 相关软件： ProbView（探测视图） 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
伽马泰拉菌 引用于3份文件(2007–2009) 软件作者： Jones，J。；奥索，A。；M.哈罗德。 相关软件： Seesoft；蓝J；VizzAnalyzer… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
BundleFusion包 引用于3份文件（2019年至2022年） 软件作者： Angela Dai、Matthias Nießner、Michael Zollhöfer、Shahram Izadi、Christian Theobalt 相关软件： PointNet；布里斯克；效率检测… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
CLoTH公司 2份文件引用(2021–2022) 软件作者： 马可·康诺森蒂、安东尼奥·韦特罗、胡安·卡洛斯·德·马丁 相关软件： github；方块模拟人生 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
PARyOpt公司 2份文件引用(2020–2022) 软件作者： Balaji Sesha Sarath Pokuri；亚历克·洛夫奎斯特；乍得·M·里斯科；Baskar Ganapathysubramanian阶 相关软件： 蟒蛇；自我；PyPI公司 主要字段： 数值分析（65-XX）；流体力学（76-XX）
轨道-IK 引用于3份文件(2022–2024) 软件作者： 帕特里克·比森；巴雷特·艾姆斯 相关软件： 穆森；MuJoCo；慈善DPM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
YAFS公司 1份文件引用(2020) 软件作者： Lera I.、Guerrero C.、Juiz C。 相关软件： iFogSim；去；FogNetSim++… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
自动调谐 2份文件引用(2021) 软件作者： Patrick Koch、Oleg Golovidov、Steven Gardner、Brett Wujek、Joshua Griffin、Yan Xu 相关软件： SMAC；青蒿；自动扫描… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
CRAFT（手工艺） 2份文件引用(2019–2021) 软件作者： 费萨尔·沙赫扎德、乔纳斯·蒂斯、莫里茨·克鲁泽、托马斯·泽泽、格奥尔格·哈格、格哈德·韦莱因 相关软件： FEAP；FE2TI；MUMPS… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
环境保护部 1份文件引用(2022) 软件作者： Jonas Joacir Radtke；Guilherme Bertoldo；卡洛斯·恩里克·马奇 相关软件： 玉；RNAmmer；Phylo-MCOA… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ELRAFT公司 2份文件引用(1978–1994) 软件作者： S.N.塞曼德斯 相关软件： 法特拉姆；准备/套件；MOCUS… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
FLAR（闪光） 2份文件引用（2008年） 软件作者： 塞耶德·贾瓦德·米拉贝迪尼；穆罕默德·特什尼赫拉布（Mohammad Teshnehlab）；Shenasa，Mohammad Hassan；阿米尔·马苏德·拉赫曼尼 相关软件： AntHocNet；AntNet公司 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
超流（HyperFlow） 2份文件引用(2018–2020) 软件作者： A.Tootoonchian、Y.Ganjali 相关软件： github；NetKAT；SGS… 主要字段： 计算机科学（68-XX）
木犀草素 2份文件引用(2019–2020) 软件作者： 哈里斯·沃洛斯；安德烈斯·贾恩·塔克（Andres Jaan Tack）；迈克尔·斯威夫特 相关软件： 窃窃私语；ATOM；无记录… 主要字段： 计算机科学（68-XX）
最低有效期 1份文件引用(2006) 软件作者： Reddy，T.Bheemarjuna；Sriram，S。；Manoj，B.S。；穆尔蒂，C.西瓦·拉姆 相关软件： 全球移动模拟 主要字段： 计算机科学（68-XX）
活塞.txt 1份文件引用(2020) 软件作者： Shalosh B.Ekhad、N.J.A.Sloane、Doron Zeilberger 相关软件： 枫树；组织环境信息系统；有限公司 主要字段： 计算机科学（68-XX）
自动诊断 1份文件引用(2022) 软件作者： 乌米特·德米尔巴加；文振宇；艾曼·努尔（Ayman Noor）；卡兰·米特拉（Karan Mitra）；Alwasel，哈立德；索拉巴·加格；阿尔伯特·Y·佐马亚。；拉吉夫·兰扬 相关软件： DeepLog；PerfXplain；TensorFlow… 主要字段： 计算机科学（68-XX）
BugSwarm程序 在0个文档中引用 软件作者： Naji Dmeiri、David A.Tomassi、Yichen Wang、Antara Bhowmick、Yen-Chuan Liu、Premkumar Devanbu、Bogdan Vasilescu、Cindy Rubio-González 相关软件： Docker；鼻子；发音错误… 主要字段： –
CheapBFT公司 1份文件引用(2020) 软件作者： Rüdiger Kapiza、Johannes Behl、Christian Cachin、Tobias Distler、Simon Kuhnle、Seyed Vahid Mohammadi、Wolfgang Schröder 相关软件： MS SQL Server；阿帕奇·卡夫卡；MySQL… 主要字段： 计算机科学（68-XX）
检查 1份文件引用(2013) 软件作者： Arien Malec、Branden Archer、Chris Pickett、Fredrik Hugosson、Robert Lemmen 相关软件： Autoconf公司；TXL；状态流… 主要字段： 计算机科学（68-XX）
D3S公司 1份文件引用(2020) 软件作者： 刘学政、郭振宇、王曦、陈飞波、连晓晨、汤健、吴铭、M.Frans Kaashoek、郑章 相关软件： ASM；PeerSim；Coq… 主要字段： 计算机科学（68-XX）
DeepLog（深度日志） 1份文件引用(2022) 软件作者： M.Du、F.Li、G.Zheng、V.Srikumar 相关软件： PerfXplain；自动诊断；TensorFlow… 主要字段： 计算机科学（68-XX）
下蒙蒙细雨 在0个文档中引用 软件作者： Shivaram Venkataraman；极光熊猫；凯·奥斯特霍特（Kay Ousterhout）；迈克尔·阿姆布鲁斯特（Michael Armbrust）；Ali Ghodsi；迈克尔·J·富兰克林；本杰明·雷赫特（Benjamin Recht）；离子斯托伊卡 相关软件： 埃尔朗；射线；TensorFlow… 主要字段： –
GenBinomApps应用程序 1份文件引用(2017) 软件作者： 霍斯特·莱维施尼格（Horst Lewitschnig）、大卫·伦齐（David Lenzi） 相关软件： – 主要字段： 统计学（62-XX）
异质基因 1份文件引用(2022) 软件作者： Gimenez，M.，Moscato，M.M.，Lopez Pombo，C.G.，Frias，M.F。 相关软件： OBJ咖啡馆；Nitpick公司；Kodkod… 主要字段： 计算机科学（68-XX）
iDFlakies系列 1份文件引用(2022) 软件作者： Lam，W。；Oei，R。；Shi，A。；Marinov，D。；谢，T。 相关软件： github；RHLE基准；工具链… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
JoiN公司 在0个文档中引用 软件作者： E.J.H.Yero、F.de Oliveira Lucchese、F.S.Sambatti、M.V.Zuben；M.A.A.亨里克 相关软件： – 主要字段： –
列表 1份文件引用（2023年） 软件作者： 格雷姆·布莱尔（Graeme Blair）、Kosuke Imai、Bethany Park、亚历山大·科波克（Alexander Coppock） 相关软件： CRAN任务视图；列表；RRreg… 主要字段： 统计学（62-XX）
地图红色RnS 1份文件引用(2017) 软件作者： Ni、Eric C.、Dragos F.Ciocan、Susan R.Hunter、Shane G.Henderson 相关软件： 火花RnS；MPIRNS；SimOpt… 主要字段： 统计学（62-XX）；数值分析（65-XX）
Meta-DiSc公司 在0个文档中引用 软件作者： Zamora J、Abraira V、Muriel A、Khan K、Coomarasamy A 相关软件： R；Rcmdr；PyQt… 主要字段： –
optextras（操作文本） 1份文件引用（2014年） 软件作者： 约翰·纳什 相关软件： NISTnls；nls2；质量（R）… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
PAnDA公司 1份文件引用(2013) 软件作者： 詹姆斯·阿尔弗雷德·沃克（James Alfred Walker）；Martin A.Trefzer。；西蒙·贝尔（Simon J.Bale）。；安迪·蒂雷尔（Andy M.Tyrrell）。 相关软件： – 主要字段： 计算机科学（68-XX）