SuLQ公司 128篇文献引用(2006–2023) 软件作者： Blum，A.，Dwork，C.，McSherry，F.，Nissim，K。 相关软件： 私人LR；UCI-ml；最优流量… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
捕图者 28篇文献引用(2001–2014) 软件作者： I.J.Cox、M.L.Miller、S.M.Omohundro、P.N.Yianilos， 相关软件： VisualSEEk；PicToSeek；NeTra… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
ProbView（探测视图） 11份文件引用(2005–2018) 软件作者： V.S.拉克希曼南、N.利昂、R.罗斯和V.S.苏布拉曼尼亚。 相关软件： 三重奏；ProTDB；MYSTIQ… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
PITA公司 24篇文献引用(2010–2023) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；Swift，Terrance公司 相关软件： ProbLog；CP逻辑；棱镜… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
HMMER公司 12份文件引用(2006–2019) 软件作者： Robert D.Finn、Jody Clements、Sean R.Eddy 相关软件： ClustalW；UniProt；肌肉… 主要字段： 总体主题；藏品（00-XX）；欧氏空间（42-XX）的调和分析；统计学（62-XX）…
迪亚斯波拉 14篇文献引用(2000–2009) 软件作者： 玛雅·拉马纳；Jayant R.哈里萨。 相关软件： – 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
E-KRHyper公司 11份文件引用(2007–2021) 软件作者： 比约恩·佩尔泽；Christoph Wernhard公司 相关软件： E定理证明器；E-Darvin；萨奇莫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
失忆症 9份文件引用(2007–2023) 软件作者： Halfond W、Orso A 相关软件： 皮克斯；哈斯克尔；PQL… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DEDALE公司 引用于7份文件(2001–2010) 软件作者： S.Grumbach、P.Rigaux、L.Segoufin 相关软件： CCUBE；抒情的；Oracle… 主要字段： 近似和展开（41-XX）；计算机科学（68-XX）
取消QL 10篇文献引用(2006–2018) 软件作者： 彼得·布内曼（Peter Buneman）、玛丽·费尔南德斯（Mary Fernandez）、丹·苏西乌（Dan Suciu） 相关软件： XPath；XQuery；减少… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
Fg指数 6篇文献引用(2011–2016) 软件作者： J.Cheng、Y.Ke、W.Ng、A.Lu 相关软件： GADDI；TALE公司；NeMa… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
VSDITLU公司 9份文件引用(1999–2013) 软件作者： 亚当斯，A.A。；Gottliebsen，H。；Linton，S.A.公司。；美国马丁。 相关软件： PVS；自动化；枫树… 主要字段： 群论和概括（20-XX）；实函数（26-XX）；计算机科学（68-XX）…
F外壳 6篇文献引用(2010–2016) 软件作者： 安德烈亚斯·霍尔泽（Andreas Holzer）；克里斯蒂安·夏尔哈特；迈克尔·陶奇尼格（Michael Tautschnig）；赫尔穆特·维思 相关软件： Java PathFinder；CPA检查员；RapiTime… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
DL2型 引用于7份文件(2021–2023) 软件作者： Fischer，M.、Balunovic，M.，Drachsler-Cohen，D.、Gehr，T.、Zhang，C.、Vechev，M.T。 相关软件： DeepProbLog；MNIST；亚当… 主要字段： 计算机科学（68-XX）
塔克 引用于7份文件(2007–2012) 软件作者： 大卫·巴尔德（David Baelde）；米勒，戴尔；斯诺，扎卡里 相关软件： 阿贝拉；贝德维尔；Twelf… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
传奇 引用于3份文件（2014年至2016年） 软件作者： 田，Y。；R.C.Mceachin。；桑托斯，C。；States，D.J。；帕特尔，J.M。 相关软件： GADDI；Fg指数；TALE… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CCUBE公司 4份文件引用(1997–2013) 软件作者： A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo 相关软件： XQuery；抒情的；德代尔… 主要字段： 计算机科学（68-XX）
序列2SQL 4份文件引用(2018–2023) 软件作者： 维克多·钟（Victor Zhong）、熊才明（Caiming Xiong）、理查德·索彻（Richard Socher） 相关软件： GPT-3；BERT；RoBERTa… 主要字段： 计算机科学（68-XX）；统计力学，物质结构（82-XX）；运筹学，数学规划（90-XX）…
焊接工艺数据系统++ 5份文件引用(2005–2023) 软件作者： Balakrishnan，G。；代表，T。；基德，N。；Lal，A。；Lim，J。；梅尔斯基，D。；Gruian，R。；Yong，S。；Chen，C.-H。；Teitelbaum，T。 相关软件： github；雅克斯塔布；LTL2BA… 主要字段： 计算机科学（68-XX）
克拉罗 4份文件引用(2013–2021) 软件作者： Thanh T.L.Tran、Liping Peng、Yanlei Diao、Andrew McGregor、Anna Liu 相关软件： 五月BMS；神秘感；三重奏… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）
GA耦合分析仪 4份文件引用(2016–2020) 软件作者： 胡勇；罗文；于兆元；袁林旺；吕国念 相关软件： 盖根；CLUCalc；克利福德… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
OptiX公司 引用于3份文件(2014–2023) 软件作者： NVIDIA公司；史蒂文·帕克（Steven G.Parker）、詹姆斯·比格勒（James Bigler）、安德烈亚斯·迪特里希（Andreas Dietrich）、海科·弗里德里希（Heiko Friedrich）、贾里德·霍伯洛克（Jared Hoberock）、大卫·卢贝克（David Luebke）、大卫·麦卡利斯特（David Mcallister）、摩根·麦奎尔（Morgan Mcguire）、基思·莫利（Keith Morley）、奥斯汀·罗宾逊（Austin Robison）、马丁·斯蒂奇（Martin Stich） 相关软件： SudoDEM；Blaze-DEMGPU；曝光渲染… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
生物模型分析仪 2份文件引用(2017–2021) 软件作者： 扎拉·艾哈迈德；大卫·本克（David Benque）；谢尔盖·贝雷津（Sergey Berezin）；Dahl，Anna Caroline E。；贾斯敏·费希尔（Jasmin Fisher）；本杰明·霍尔（Benjamin A.Hall）。；萨明·伊斯蒂亚克；杰伊·纳纳瓦蒂；尼尔·皮特曼；梅克Riechert；尼基塔·斯科洛夫 相关软件： 漫长的时期；亚特兰蒂斯；Cytoscape.js… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CoSA公司 2份文件引用(2020–2022) 软件作者： Mattarei，C.、Mann，M.、Barrett，C.等人。 相关软件： 尤瑟斯；艾格；BtorMC… 主要字段： 计算机科学（68-XX）
DPF（DPF） 引用于3份文件(2013–2020) 软件作者： 米洛斯，格利戈里奇；鲁帕克·马朱姆达尔 相关软件： MCMAS；DDVerify；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
INSITE公司 2份文件引用(2004) 软件作者： 赛鲁斯·沙哈比；阿迪尔·费萨尔；法努什·巴奈伊·卡沙尼；贾贝德·法鲁克 相关软件： – 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
Asterix数据库 1份文件引用（2023年） 软件作者： 萨塔姆·阿尔苏拜埃、亚西尔·阿尔托维姆、霍瑟姆·阿尔特瓦伊里、亚历山大·贝姆、维纳亚克·博尔卡、英伊·布、迈克尔·凯里、印奇·塞丁迪尔、马都苏丹·奇朗吉、库拉姆·法拉兹、尤金妮亚·加布里埃洛娃、拉曼·格罗弗、扎卡里·海尔布伦、金永硕、陈丽、李光强、吉·马恩·奥克、尼古拉·奥诺泽、波里亚·皮尔扎德、瓦西里斯·茨拉斯、拉雷斯·维尼卡、建文，直到韦斯特曼 相关软件： MonetDB；DB2；Bigtable… 主要字段： 计算机科学（68-XX）
Ciao公司 2份文件引用(2000–2010) 软件作者： Y.R.Chen、G.S.Fowler、E.Koutsofios、R.S.Wallach 相关软件： 里吉；SQuAVisiT；测试Q… 主要字段： 计算机科学（68-XX）
图形代码 在0个文档中引用 软件作者： 罗素·K·斯坦迪什（Russell K.Standish），杜蕾德·玛迪娜（Duraid Madina） 相关软件： 类别描述MP；SWIG；升压… 主要字段： –
密集型 1份文件引用(2010) 软件作者： Johan Brichau；安迪·凯伦斯；塞尔吉奥·卡斯特罗；提奥·D’Hondt 相关软件： 检查样式；休眠；蒙德里安… 主要字段： 计算机科学（68-XX）
卡斯科 在0个文档中引用 软件作者： Joana M.F.da Trindade、Konstantinos Karanasos、Carlo Curino、Samuel Madden、Julian Shun 相关软件： 利格拉；图形框架；WebGraph… 主要字段： –
迷你LM 2份文件引用(2022–2023) 软件作者： 王文辉；魏福禄；董，李；鲍、杭波；杨楠；周，明 相关软件： DistilBERT公司；Tensor2传感器；RoBERTa… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
曲目成型器 2份文件引用(2022–2023) 软件作者： Tim Meinhardt、Alexander Kirillov、Laura Leal-Taixe、Christoph Feichtenhofer 相关软件： BERT；ArnetMiner；DeepWalk… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ArgQL公司 1份文件引用(2017) 软件作者： Zografistou，Dimitra；弗洛里斯（Flouris），乔戈斯（Giorgos）；普列克索萨基斯，迪米特里斯 相关软件： openCypher；SPARQL公司 主要字段： 计算机科学（68-XX）
DETR3D公司 在0个文档中引用 软件作者： Yue Wang、Vitor Guizilini、Tianyuan Zhang、Yilun Wang、Hang Zhao、Justin Solomon 相关软件： nuScenes；变形DETR；PolarNet… 主要字段： –
InstQL软件 1份文件引用(2010) 软件作者： 卢克·霍普顿（Luke Hopton）；欧文·克利夫（Owen Cliffe）；玛丽娜·德沃斯；朱利安·帕吉特 相关软件： 斯莫德尔斯 主要字段： 计算机科学（68-XX）
JavaSMT软件 1份文件引用(2016) 软件作者： 埃戈尔·乔治·卡彭科夫（Egor George Karpenkov）、卡尔海因斯·弗里德伯格（Karlheinz Friedberger）、德克·拜尔（Dirk Beyer） 相关软件： FOCI；姆约利尼尔；PAGAI… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Kamodo公司 在0个文档中引用 软件作者： Asher D Pembroke；达伦·德泽奥（Darren DeZeeuw）；卢兹·拉施塔特；丽贝卡·林盖特；奥利弗·格兰德；德鲁夫·帕特尔；迈克尔·孔特雷拉斯 相关软件： PYSAT；等离子体；Pysat Kamodo… 主要字段： –
移动电话 1份文件引用(2022) 软件作者： 法布里西奥·克拉沃；福格尔，马提亚斯；托马斯·诺瓦克；加亚特里·普拉卡什 相关软件： github；PySB；COPASI… 主要字段： 生物学和其他自然科学（92-XX）
OREX-J公司 1份文件引用(2013) 软件作者： 朗（Jan Christian）；托马斯·威贾贾 相关软件： 北极星；BEAGLE公司；j金属… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
ProBO公司 在0个文档中引用 软件作者： Willie Neiswanger、Kirthevasan Kandasamy、Barnabas Poczos、Jeff Schneider、Eric Xing 相关软件： 超波段；DARTS；GPyOpt… 主要字段： 计算机科学（68-XX）
贸易 1份文件引用(2021) 软件作者： 瓦尔加夫提克（Shay Vargaftik）；艾萨克·凯斯拉西；Ariel奥尔达；亚尼夫·本·伊扎克 相关软件： 分支机构网络；SMOTE；JOUSBoost… 主要字段： 计算机科学（68-XX）
重复性包 1份文件引用(2022) 软件作者： 亚历山大·比尔格拉姆（Alexander Bilgram）；詹森，彼得·G。；托马斯·佩德森；吉·斯尔巴；Peter H.Taankvist。 相关软件： 大SPN；塔帕尔；ITS工具… 主要字段： 计算机科学（68-XX）
蜘蛛 1份文件引用（2023年） 软件作者： 陶瑜、张睿、凯扬、米奇希罗·亚桑加、王东旭、李子凡、马友友、李艾琳、姚庆宁、罗曼珊、张梓琳、拉德夫 相关软件： KGPT；图2Seq；GPT-3… 主要字段： 计算机科学（68-XX）
特里尔 1份文件引用(2020) 软件作者： Badrish Chandramouli、Jonathan Goldstein、Mike Barnett、Robert DeLine、John C.Platt、James F.Terwilliger、John Wernsing 相关软件： 卡尤加；霸王龙；阿帕奇·弗林克 主要字段： 计算机科学（68-XX）
TuPAQ公司 1份文件引用(2020) 软件作者： Evan R.Sparks、Amee Talwalkar、Michael J.Franklin、Michael I.Jordan、Tim Kraska 相关软件： 阿达德尔塔；HSL-VF05；EMNIST… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
DBPal（数据库管理员） 在0个文档中引用 软件作者： Basik，F.、B.Hättasch、A.Ilkhechi、A.Usta、S.Ramaswamy、P.Utama、N.Weir、C.Binnig、U.Çetintemel 相关软件： – 主要字段： –
西娅 在0个文档中引用 软件作者： Sandoval Orozco，Ana Lucila；罗莎莱斯·科里皮奥（Rosales Corripio），乔斯林（Jocelin）；阿雷纳斯·冈萨雷斯（Arenas González），大卫·曼努埃尔（David Manuel）；加西亚·维拉尔巴（García Villalba），路易斯·哈维尔（Luis Javier）；胡里奥·埃尔南德斯·卡斯特罗 相关软件： – 主要字段： –