石化 26篇文献引用（2001年-2023年） 软件作者： Cortadella，J.、Kishinevsky，M.、Kondratyev，A.、Lavagno，L.、Yakovlev，A。 相关软件： 基因；github；APT… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
苏普雷米卡 26篇文献引用(2009–2023) 软件作者： 克努特·阿克森；马丁·费边（Martin Fabian）；雨果·弗洛达尔；罗比·马利克 相关软件： UMDES；TCT；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
电子电话 18篇文献引用(2003–2019) 软件作者： M Tomita、K Hashimoto、K Takahashi、T S Shimizu、Y Matsuzaki、F Miyoshi、K Saito S Tanida、K Yugi、J C Venter；C A和记黄埔 相关软件： GEPASI；KEGG；虚拟单元格… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
沃尔夫拉姆 16篇文献引用(2010–2022) 软件作者： 安德烈·苏尔弗洛 相关软件： R；Yices；KLEE… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
交通 8份文件引用(2015–2022) 软件作者： Udupa，A.、Raghavan，A.、Deshmukh，J.V.、Mador-Haim，S.、Martin，M.M.、Alur，R。 相关软件： CVC4；z3；简单… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
X模糊 5份文件引用(2001–2021) 软件作者： D.R.Lopez；C.J.希门尼斯；I.巴图隆；A.巴里加；桑切斯·索拉诺 相关软件： XFL3；NEFCLASS-X；FuzzyLogic.jl… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
验证 6篇文献引用(2021–2024) 软件作者： 托马索·德罗西（Tommaso Dreossi）、丹尼尔·弗雷蒙特（Daniel J.Fremont）、施洛蒙娜·戈什（Shromona Ghosh）、爱德华·金（Edward Kim）、哈迪·拉文巴赫（Hadi Ravanbakhsh）、马塞尔·巴斯奎兹·香拉特（Marcell Vazque 相关软件： Reluplex；NNV；阿波罗… 主要字段： 计算机科学（68-XX）；系统论；对照（93-XX）
贾维尔 1份文件引用(2009) 软件作者： I.阿萨亚德；V.伯廷；F.-X.违约；Gerner博士；O.Quévreux；S.约文 相关软件： 大都市；StreamIt（流媒体） 主要字段： 计算机科学（68-XX）
视频播放器 1份文件引用(2022) 软件作者： 张浩天、克里斯托巴尔·西奥托、曼尼什·阿格拉瓦拉、凯文·法塔哈利安 相关软件： ImageNet；密度糖；BRISK… 主要字段： 计算机科学（68-XX）
CARAT公司 1份文件引用(2012) 软件作者： Bletzinger KU、Reitnger R、Kimmich S、Ramm E 相关软件： ESOFRAME公司；毫升；特里利诺斯 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
科内尔公司 1份文件引用(2020) 软件作者： 马利亚阿尔普特；丹尼尔·帕尔多（Daniel Pardo）；艾丽西亚·维拉纽埃娃 相关软件： 金级规范；莫德；z3… 主要字段： 计算机科学（68-XX）
LiveCap公司 1份文件引用(2022) 软件作者： 马克·哈伯曼（Marc Habermann）、徐伟鹏（Weipeng Xu）、迈克尔·佐尔霍弗（Michael Zollhoefer）、杰勒德·蓬斯·莫尔（Gerard Pons-Moll）、克里斯蒂安·西奥伯特（Christian Theobalt） 相关软件： 布里斯克；效率检测；面2面… 主要字段： 计算机科学（68-XX）
PROSIT公司 1份文件引用(2022) 软件作者： 弗里亚斯，B.V。；Palopoli，L。；阿贝尼，L。；Fontanelli，D。 相关软件： – 主要字段： 计算机科学（68-XX）；系统论；对照（93-XX）
RapidNet公司 1份文件引用(2015) 软件作者： 宾夕法尼亚大学 相关软件： VCGen；SANDLog公司；ProVerif… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）