脱咖啡因咖啡 31份文件引用(2014–2022) 软件作者： J.Donahue、Y.Jia、O.Vinyals、J.Hoffman、N.Zhang、E.Tzeng、T.Darrell 相关软件： ImageNet；AlexNet；咖啡… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
马尔巴 24篇文献引用(2002–2021) 软件作者： E.阿尔巴。；阿尔梅达，F。；布莱萨，M。；Cabeza，J。；科塔，C。；Díaz，M。；我·多塔。；加巴罗，J。；莱昂，C。；Luna，J。；莫雷诺，L。；巴勃罗斯，C。；Petit，J。；罗哈斯，A。；Xhafa，F。 相关软件： ParaDisEO；PICO；欧洲法院… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
脱咖啡因咖啡 11份文件引用(2000–2005) 软件作者： 约翰·格雷厄姆（John R.Graham）。；基思·S·戴克。 相关软件： 旅行者号；GroupKit；高尔夫… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CSP防护 17篇文献引用(2005–2022) 软件作者： 吉野县Isobe；马库斯·罗根巴赫 相关软件： PVS；Isabelle/HOL；FDR2… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
院子 14篇文献引用(2008–2023) 软件作者： Kozicki，J。；顿泽，F.V。 相关软件： 子弹；Matlab；OpenFOAM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
COMPAS公司 14篇文献引用(1990–2021) 软件作者： Chmiel、Krzysztof；亚当·罗曼 相关软件： 测试；巴特里西亚；升压… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
MEDLAR公司 14篇文献引用(1995–2013) 软件作者： 布鲁诺·巴赫伯格、约阿希姆·普法尔兹格拉夫、卡雷尔·斯托克曼、沃尔夫冈·盖尔克、维奥里卡·索夫罗尼 相关软件： 枫树；6月2日；BVPh… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
PEBBL公司 13份文件引用（2009年至2022年） 软件作者： 乔纳森·埃克斯坦（Jonathan Eckstein）；威廉·哈特（William E.Hart）。；辛西娅·菲利普斯。 相关软件： SCIP；CHiPPS；ParaSCIP… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DAGuE公司 11份文件引用(2011–2019) 软件作者： 乔治·博西尔卡（George Bosilca）、奥雷琳·布特伊勒（Aurelien Bouteiller）、安东尼·达纳利斯（Anthony Danalis）、托马斯·赫劳（Thomas Herault）、皮埃尔·勒马利尼尔（Pierre Lemarinier）、杰 相关软件： LAPACK；血浆；MAGMA… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
萨洛姆 12份文件引用(2010–2023) 软件作者： 打开级联 相关软件： ParaView；Gmsh；OpenFOAM… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
米兹3 12份文件引用(2012–2020) 软件作者： 弗里克·威迪杰克 相关软件： Coq；米扎尔；Isar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
HyTeG公司 8份文件引用(2019–2023) 软件作者： 科尔，N。；Thönnes，D。；Drzisga博士。；Bartuschat，D。；吕德，美国。 相关软件： 利奎德；p4测试；ParILUT… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
LeoPARD公司 8份文件引用(2015–2021) 软件作者： 马克斯·维斯涅夫斯基（Max Wisniewski）；亚历山大·斯蒂恩（Alexander Steen）；克里斯托夫·本兹穆勒 相关软件： TPTP；Leo-III；沙达拉… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
热帧 引用于7份文件(2003–2014) 软件作者： 安德烈亚斯·芬克（Andreas Fink）；斯特凡·沃伊 相关软件： EasyLocal++；CBMix；METSlib… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
Ergo 6号机组 6篇文献引用(1997–2003) 软件作者： 马克·乌廷（Mark Utting）；彼得·罗宾逊（Peter Robinson）；雷·尼克森 相关软件： Qu-Prolog；电子LOTOS；CADP… 主要字段： 计算机科学（68-XX）
折叠网 5份文件引用(2019–2023) 软件作者： 杨耀清、陈峰、沈一如、董田 相关软件： PointNet；VoxelNet；PointCNN… 主要字段： 近似和展开（41-XX）；欧氏空间（42-XX）的调和分析；数值分析（65-XX）…
Chronos公司 5份文件引用(1990–2007) 软件作者： Bourgeois，J。；间谍，F。；Zemerly，M.J。；T·德莱特。 相关软件： aiT；简单标尺；CPLEX… 主要字段： 历史与传记（01-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
CLPGUI公司 引用于3份文件(2009–2016) 软件作者： Fages，F.、Soliman，S.、Coolen，R。 相关软件： 佩特里韦布；生物模型；元工具… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
检流计 5份文件引用(2009–2019) 软件作者： 席尔瓦，P.F。；J.N.奥利维拉。 相关软件： 菲亚特；维拉斯科；ASTREE… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
PyCOMPS公司 引用于3份文件(2021–2022) 软件作者： E.Tejedor、Y.Becerra、G.Alomar、A.Queralt、R.M.Badia、J.Torres、T.Cortes和J.Labarta 相关软件： 服务S；达克；分析… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
ConQAT公司 2份文件引用(2009–2021) 软件作者： Deißenböck，F.等人。；海涅曼，L。；Hummel，B。；尤尔根斯，E。 相关软件： 方面J；FACTum；Klocwork… 主要字段： 计算机科学（68-XX）
Simflowny公司 引用于3份文件(2018–2021) 软件作者： A.Arbona、B.Minano、A.Rigo、C.Bona、C.Palenzuela、A.Artigues、C.Bona-Casas、J.Masso 相关软件： FEniCS；SyFi；升压… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
斯纳斯 引用于3份文件(2020–2023) 软件作者： 谢思瑞、郑和辉、刘春晓、梁林 相关软件： DARTS；AlexNet；ImageNet… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
软CBR 4份文件引用(2001–2004) 软件作者： 卡里姆·S·阿格尔。；马克·帕维斯（Marc Pavese）；皮耶罗·P·博尼松。；威廉·切萨姆（William E.Cheetham）。 相关软件： – 主要字段： 计算机科学（68-XX）
TSolMod公司 4份文件引用(2013–2021) 软件作者： Wagner，T.、Kulik，D.A.、Hingerl，F.F.、Dmytrieva，S.V 相关软件： GEM手机；GEMS3K；OpenGeoSys… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；地球物理学（86-XX）
TWB公司 引用于3份文件(2009–2019) 软件作者： 彼得罗·阿巴特；拉杰夫·戈雷 相关软件： LoTREC；MSPASS；SableCC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NetCore公司 2份文件引用(2013–2018) 软件作者： 克里斯托弗·孟山都；Nate Foster；罗伯·哈里森（Rob Harrison）；大卫·沃克 相关软件： github；NetKAT；菲马托… 主要字段： 计算机科学（68-XX）
桑托里奥 2份文件引用(2004) 软件作者： 拉杜·普罗丹；托马斯·法林格 相关软件： SCALEA公司；PostgreSQL；Oracle… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
dh段 1份文件引用(2020) 软件作者： 索菲亚·阿雷斯·奥利维拉（Sofia Ares Oliveira）、贝诺伊特·塞金（Benoit Seguin）、弗雷德里克·卡普兰（Frederic Kaplan） 相关软件： 布局LM；TableBank；PyTorch… 主要字段： 计算机科学（68-XX）
e_float（_F） 2份文件引用(2011–2015) 软件作者： 克里斯托弗·科尔曼约斯 相关软件： 组织环境信息系统；促进；Python… 主要字段： 特殊功能（33-XX）；数值分析（65-XX）
FlexiMine公司 2份文件引用（2003年） 软件作者： Ben-Eliyahu-Zohary，R。；Domshlak，C。；古德斯，E。；柳斯特尼克，N。；梅赛尔，A。；Rosen，T。；Shimony，S.E。 相关软件： 诺曼 主要字段： 计算机科学（68-XX）
兰贝克 2份文件引用（2023年） 软件作者： 迪米特里·卡茨卡利斯；范·伊恩；杨丽姬；安娜·皮尔逊（Anna Pearson）；罗宾·洛伦茨（Robin Lorenz）；亚历克西斯·图米；乔瓦尼·德·费利塞（Giovanni de Felice）；康斯坦丁诺斯·梅查内齐迪斯；斯蒂芬·克拉克（Stephen Clark）；鲍勃·科克 相关软件： 量子计算簿；Penny巷；TensorFlow… 主要字段： 计算机科学（68-XX）；统计力学，物质结构（82-XX）
RT-SLAM飞机 1份文件引用(2016) 软件作者： C.Roussillon、A.Gonzalez、J.Solfia、J.-M.Codol、N.Mansard、S.Lacroix、M.Devy 相关软件： DTAM；ORB-SLAM2；基蒂… 主要字段： 计算机科学（68-XX）
xMAML公司 在0个文档中引用 软件作者： Lallet，J.、Pillement，S.、Sentieys，O。 相关软件： OCaml；FPath；ByADL… 主要字段： 计算机科学（68-XX）
AENet公司 在0个文档中引用 软件作者： Naoya Takahashi、Michael Gygli、Luc Van Gool 相关软件： 利比亚；Matlab；Audiogmenter… 主要字段： –
BATLLNN公司 1份文件引用(2022) 软件作者： James Ferlez；Khedr，Haitham；亚瑟·舒克利 相关软件： github；马拉博；佩雷格里恩… 主要字段： 计算机科学（68-XX）；系统论；对照（93-XX）
灌木 在0个文档中引用 软件作者： 巴内加斯·卢纳（A.J.Banegas-Luna）、塞罗恩·卡拉斯科（J.P.Cerón-Carrasco）、普埃尔塔斯·马汀（S.Puertas-Martín）、佩雷斯·桑切斯（P.rez-Sánchez）、H 相关软件： – 主要字段： 统计学（62-XX）
CBRAIN公司 1份文件引用(2022) 软件作者： 谢里夫，T。；Rioux，P。；M.-E.卢梭。；北卡罗来纳州卡斯斯。；贝克，N。；阿达拉特，R。；达斯，S。；Glatar，T。；A.C.埃文斯。 相关软件： 自由冲浪者；Expectreg；隐藏… 主要字段： 统计学（62-XX）
DAMOCIA-Sim公司 1份文件引用(2004) 软件作者： J.F.Bienvenido、L.Iribarne、R.Guirado、A.Becerra、F.Rodrguez、R.Ayala、A.Corral 相关软件： DAMOCIA-设计；通用KADS 主要字段： 计算机科学（68-XX）
投掷 1份文件引用（2014年） 软件作者： 王丹瑶；Lo，Charles；贾斯米娜·瓦西尔耶维奇（Jasmina Vasiljevic）；纳塔莉·恩里特·杰格尔（Enright Jerger）；J.Gregory Steffan 相关软件： SICOSYS公司；哈西姆；SimFlex… 主要字段： 信息与通信理论，电路（94-XX）
IBR网 1份文件引用(2022) 软件作者： Qianqian Wang、Zhicheng Wang、Kyle Genova、Pratul Srinivasan、Howard Zhou、Jonathan T.Barron、Ricardo Martin-Brualla、Noah Snavely、Thomas Funkhouser 相关软件： 布里斯克；效率检测；面2面… 主要字段： 计算机科学（68-XX）
OREX-J公司 1份文件引用(2013) 软件作者： 朗（Jan Christian）；托马斯·威贾贾 相关软件： 北极星；BEAGLE公司；j金属… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
PAnDA公司 1份文件引用(2013) 软件作者： 詹姆斯·阿尔弗雷德·沃克（James Alfred Walker）；Martin A.Trefzer。；西蒙·贝尔（Simon J.Bale）。；安迪·蒂雷尔（Andy M.Tyrrell）。 相关软件： – 主要字段： 计算机科学（68-XX）
智能应用程序 1份文件引用(2001) 软件作者： 劳伦斯·劳希沃格（Lawrence Rauchwerger）；阿马托，南希·M。；约塞普·托雷拉斯 相关软件： 视频编码 主要字段： 计算机科学（68-XX）
智能工具 1份文件引用(2001) 软件作者： 伊莎贝尔·阿塔利；卡琳·库比斯（Carine Courbis）；德根，帕斯卡；亚历山大·福奥（Alexandre Fau）；迪迪埃·帕里戈特 相关软件： ATERM公司 主要字段： 计算机科学（68-XX）
轨迹 在0个文档中引用 软件作者： I.Chatziganakis、A.Kinalis、G.Mylonas、S.Nikoletseas、G.Prasinos、C.Zaroliagis 相关软件： – 主要字段： –
WebProtege公司 在0个文档中引用 软件作者： 塔尼亚塔多拉奇；Csongor Nyulas；Natalya F.诺伊。；马克·穆森。 相关软件： 银河系；Aber-OWL；生物门户… 主要字段： –