橡皮擦 36篇文献引用(2000–2021) 软件作者： Savage，S.、Burrows，M.、Nelson，G.、Sobalvarro，P.、Anderson，T。 相关软件： veriSoft；RacerX；班德拉… 主要字段： 计算机科学（68-XX）
DiSCiPl公司 7份文件引用(2007–2016) 软件作者： – 相关软件： 彗星；Oz Explorer；VIFID/TRIFID… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
戴坦 6篇文献引用(2013–2022) 软件作者： Clause，J.、Li，W.、Orso，A。 相关软件： TAJ公司；TaintDroid；像素… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
BadNets（BadNet） 4份文件引用(2019–2023) 软件作者： 顾天宇、布伦丹·多兰·加维特、西德哈斯·加格 相关软件： ImageNet；AlexNet；Grad-CAM… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；地球物理学（86-XX）
国际象棋 5份文件引用(2008–2021) 软件作者： Musuvathi M、Qadeer S、Ball T 相关软件： 橡皮擦；veriSoft；AVIO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
内容CVS 5份文件引用(2014–2019) 软件作者： E.Jiménez-Ruiz、B.Cuenca Grau、I.Horrocks、R.Berlanga 相关软件： CEX；Ontop；MWB… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
辐条 4份文件引用(2008–2020) 软件作者： Gebser，M.、Pührer，J.、Schaub，T.、Tompits，H.、Woltran，S。 相关软件： 格林戈；天基信息平台；SeaLion… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
DynaMine公司 1份文件引用(2022) 软件作者： Livshits，B.，Zimmermann，T。 相关软件： 自旋蛋白；德克萨斯州；PPTL_SPIN… 主要字段： 计算机科学（68-XX）
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯，A。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；Mang，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
风景 4份文件引用(2021–2023) 软件作者： 丹尼尔·弗里蒙特。；爱德华·金；托马索·德罗西；Ghosh，Shromona；岳向玉；Sangiovanni-Vincentelli，Alberto L。；Sanjit A.Seshia。 相关软件： 阿波罗；验证；卡拉… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
OntoDebug（开始调试） 4份文件引用（2018年-2023年） 软件作者： Schekotihin、Konstantin；Patrick Rodler；沃尔夫冈·施密德 相关软件： 颗粒；MERGEXPLAIN公司；赫密特… 主要字段： 计算机科学（68-XX）
OrCAD PSpice 4份文件引用(2010–2018) 软件作者： Informer技术公司。 相关软件： Matlab；香料；Sprott的软件… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；系统理论；控制（93-XX）…
TensorFuzz公司 引用于2份文件(2020–2021) 软件作者： 奥古斯塔斯·奥德纳（Augustus Odena）、伊恩·古德费罗（Ian Goodfellow） 相关软件： DeepXlore；深度规；DLFuzz… 主要字段： 计算机科学（68-XX）
焦点检查 引用于2份文件(2005–2006) 软件作者： 柯蒂斯·W·凯勒。；Diptikalyan Saha；萨米克·巴苏；斯科特·斯莫尔卡。 相关软件： 卫星抗体；奥兹；DiVer… 主要字段： 计算机科学（68-XX）
VIFID/TRIFID公司 引用于2份文件(2009–2016) 软件作者： 曼纽尔·卡罗；曼努埃尔·赫尔梅内吉尔多 相关软件： DiSCiPl；Oz Explorer；COMET… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
菲亚克 1份文件引用(2022) 软件作者： Fröhler，B。；Elberfeld，T。；Möller，T。；黑格，H。；韦森伯克，J。；De Beenhouwer，J。；Sijbers，J。；Kastner，J。；海因策，C。 相关软件： Starviewer；孔隙度分析仪；MetaTracts… 主要字段： 可变形固体力学（74-XX）；信息与通信理论，电路（94-XX）
图4代码 在0个文档中引用 软件作者： 易卜拉欣·阿卜杜拉齐兹（Ibrahim Abdelaziz）、朱利安·杜比（Julian Dolby）、詹姆斯·麦库斯克（James P.McCusker）、卡维塔·斯里尼瓦斯（Kavitha Srinivas） 相关软件： SABER公司；PQL；DynaMine… 主要字段： –
JavaPDG软件 1份文件引用(2018) 软件作者： Shu G、Sun B、Henderson TA、Podgurski A 相关软件： 准确指出；信息；暗黑破坏神… 主要字段： 计算机科学（68-XX）
PerfXplain公司 1份文件引用(2022) 软件作者： Nodira Khoussainova、Magdalena Balazinska、Dan Suciu 相关软件： DeepLog；自动诊断；TensorFlow… 主要字段： 计算机科学（68-XX）