生物-PEPA 97篇文献引用(2008–2024) 软件作者： Federica Ciocchetta、Maria Luisa Guerriero、Vashti Galpin、Jane Hillston、Giulio Caravagna、Allan Clark、Andrea Degasperi、Adam Duguid、Kanimozhi Ellavarason、Stephen Gilmore、Laurence Loewe、Dimitrios Milios 相关软件： 政治公众人物协议；棱镜；生物活性炭… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
演示 10篇文献引用(2007–2023) 软件作者： 扬·范·埃伊克 相关软件： SMCDEL公司；MCK；MCMAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
字节网 5份文件引用(2017–2024) 软件作者： Nal Kalchbrenner、Lasse Espeholt、Karen Simonyan、Aaron van den Oord、Alex Graves、Koray Kavukcuoglu 相关软件： WaveNet；亚当；Tensor2传感器… 主要字段： 统计学（62-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）
URSA公司 6篇文献引用(2012–2022) 软件作者： 贾尼奇，P。 相关软件： z3；卡环；MiniSat… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Z2sal公司 5份文件引用(2008–2012) 软件作者： J Derrick，S North，A J H Simons公司 相关软件： 自旋蛋白；Z；Z/EVES… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
库特 2份文件引用(2008–2017) 软件作者： Emsley P、Cowtan K。 相关软件： CCP4；PHENIX公司；退出… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
救援人员 2份文件引用(2001–2014) 软件作者： 马吕斯·祖伯特（Mariusz Zubert）；安德烈·纳皮埃尔斯基（Andrzej Napieralski）；马·纳皮埃尔斯卡{l} 戈尔扎塔 相关软件： – 主要字段： 偏微分方程（35-XX）；可变形固体力学（74-XX）；光学、电磁理论（78-XX）…
BiPSim公司 1份文件引用(2023) 软件作者： 斯蒂芬·费舍尔（Stephan Fischer）；Marc Dinh；文森特·亨利；菲利普·罗伯特；Anne Goelzer；文森特·弗罗米翁 相关软件： 生物细胞周期 主要字段： 概率论与随机过程（60-XX）；生物学和其他自然科学（92-XX）
纸莎草纸-RT 1份文件引用(2022) 软件作者： 萨胡、斯内哈；鲁思·肖尔（Ruth Schorr）；Medina-Bulo、Inmaculada；马蒂亚斯·瓦格纳 相关软件： 姆约利尼尔；OCRA；NuSMV… 主要字段： 计算机科学（68-XX）
彪马 1份文件引用(2020) 软件作者： Aayush Ankit、Izzat El Hajj、Sai Rahul Chalamarasetti、Geoffrey Ndu、Martin Foltin、R Stanley Williams、Paolo Faraboschi、Wen-mei W Hwu、John Paul Strachan、Kaushik Roy、Milojicic Dejan 相关软件： 图R；PipeLayer；PANTHER… 主要字段： 计算机科学（68-XX）
COPRA公司 在0个文档中引用 软件作者： Breitenbach，S.F.M.、Rehfeld，K.、Goswami，B.、Baldini，J.U.L.、Ridley，H.E.、Kennett，D.、Prufer，K.，Aquino，V.V.、Asmerom，Y.、Polyak，V.J.、Cheng，H.、Kurth，J.、Marwan，N 相关软件： – 主要字段： –