ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
印章 10篇文献引用(2009–2020) 软件作者： Cao Minh，C.，Chung，J.，Kozyrakis，C.，Olukotun，K。 相关软件： STMBench7；环STM；TLRW… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
熔岩 11份文件引用(2002–2018) 软件作者： Bjesse，P.、Claessen，K.、Sheeran，M.、Singh，S。 相关软件： 哈斯克尔；muFP；Coquet… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
ISDL公司 8份文件引用(2001–2006) 软件作者： 乔治·哈吉伊安尼斯（George Hadjiyiannis）；西尔维娜·哈诺诺；斯里尼瓦斯·德瓦达斯 相关软件： FFmpeg；酯类；MIMOLA… 主要字段： 计算机科学（68-XX）
阿尔戈维基 5份文件引用(2017–2022) 软件作者： V.Voevodin、A.Antonov、J.Dongarra 相关软件： CAE Fidesys公司；SPL征服者；Scalasca… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
GEZEL公司 6篇文献引用(2002–2018) 软件作者： 迈克尔·汉森（Michael R.Hansen）。；Madsen，Jan；布雷克林（Aske Wiid Brekling） 相关软件： Uppaal公司；克罗诺斯；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
皮纳帕 4份文件引用(2008–2011) 软件作者： Moy，M.、Maraninchi，F.、Maillet-Contoz，L。 相关软件： 系统C；veriSoft；酯类… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）…
海龟-P 2份文件引用(2003–2006) 软件作者： 卢多维奇（Ludovic Apvrille）；皮埃尔·德·萨奎·桑奈斯（Pierre De Saqui-Sannes）；费哈特·肯德克 相关软件： Uppaal公司；克罗诺斯；税收… 主要字段： 计算机科学（68-XX）
STEWord公司 2份文件引用(2017–2020) 软件作者： 查克拉波蒂，苏普拉蒂克；苏拉布哈西达什维利；Carl-Johan H.Seger。；拉杰库马尔·加贾维利；坦马·霍尔丹卡尔（Tanmay Haldankar）；恰他尼，迪内什；拉凯什·米斯特里 相关软件： MiniSat；ABC；数学SAT5… 主要字段： 计算机科学（68-XX）
比赛 1份文件引用(2010) 软件作者： 罗珊·拉格尔（Roshan Ragel）；安杰洛·安布罗斯；Jorgen Peddersen；斯里·帕拉梅斯瓦兰 相关软件： —— 主要字段： 计算机科学（68-XX）
暗房 在0个文档中引用 软件作者： 詹姆斯·赫加蒂（James Hegarty）；John Brunhaver；扎卡里·德维托；乔纳森·拉甘·凯利（Jonathan Ragan-Kelley）；诺伊·科恩；史蒂文·贝尔（Steven Bell）；阿特姆·瓦西利耶夫；马克·霍洛维茨（Mark Horowitz）；帕特·汉拉罕 相关软件： —— 主要字段： ——