Daikon公司 引用于41份文件(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
马亚 23篇文献引用(2002–2015) 软件作者： Hutter，Dieter公司；谢尔盖·奥特西尔 相关软件： CASL；米扎尔；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
任何人 8份文件引用(2015–2023) 软件作者： Damsgaard，M.、Rasmussen，J.、Christensen，S.T.、Surma，E.、de Zee，M 相关软件： OpenSim；SCONE公司；GPOPS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
SMV公司 13份文件引用(1986–2018) 软件作者： Ed Clarke；K.L.McMillan；E.A.艾默生；J.R.伯奇 相关软件： 高科技；PHAVer；旋转… 主要字段： 常微分方程（34-XX）；变异微积分和最优控制；优化（49-XX）；计算机科学（68-XX）…
特克顿 5份文件引用(1994–2003) 软件作者： 卡普尔，D。；聂，X。；D.R.穆瑟。 相关软件： RRL；NQTHM；确认… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
长期平均价格 5份文件引用(2017–2022) 软件作者： Cameron Finucane；港元景；哈达斯·克雷斯·加济特 相关软件： TuLiP；PESSOA；SCOTS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
医生 2份文件引用(2002–2005) 软件作者： Papakonstantinou，Y.、Garcia-Molina，H.、Ullman，J。 相关软件： XPathLog；洛尔；APEX… 主要字段： 计算机科学（68-XX）
佩雷格里恩 4份文件引用(2022–2023) 软件作者： Khedr，Haitham；James Ferlez；亚瑟·舒克利 相关软件： NNV；Reluplex；马拉博… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
丽莎 3份文件引用(2002–2015) 软件作者： 马尔扬·默尼克；Lenic、Mitja；埃尼斯的阿夫迪库夫·泽维奇；祖默，维尔杰姆 相关软件： JastAdd；ANTLR；PPG… 主要字段： 计算机科学（68-XX）
miTLS系统 3份文件引用(2019–2021) 软件作者： 卡尔蒂基安·巴加万、塞德里克·福内特、圣地亚哥·扎内拉·贝林、本杰明·贝尔杜奇、安托万·德利格纳·拉瓦德、马尔库夫·科尔维斯、吉安·卡里姆·津津多霍、纳迪姆·科贝西、阿尔弗雷多·皮隆蒂、皮尔雷·伊夫·斯特鲁布 相关软件： NAXOS；HaNS；CppMem；…（C）… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
瓜多尔 1份文件引用(2016) 软件作者： 大卫·哈丁；康拉德·斯林德（Konrad Slind）；迈克尔·惠伦（Michael Whalen）；团结Pham 相关软件： OpenSMT；麻糬；雷达… 主要字段： 计算机科学（68-XX）
ImproteK公司 2份文件引用(2018) 软件作者： Nika、Jéróme、Marc Chemillier、Gérard Assayag 相关软件： DYCI2公司 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；计算机科学（68-XX）