里奥 90篇文献引用(2003–2023) 软件作者： 马特杰·杜尼克 相关软件： 琳达；莫德；mCRL2… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
歧管 28篇文献引用(1993–2023) 软件作者： 博桑格，M.M。；Arbab，F。；de Bakker，J.W。；Rutten，J.J.M.M。；A.斯库特拉。 相关软件： 琳达；里奥；石灰… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SNAP（快照） 10篇文献引用(2002–2013) 软件作者： Czajkowski，卡尔；伊恩·福斯特（Ian Foster）；卡尔·凯塞尔曼；沃尔克·桑德；史蒂文·图克 相关软件： Globus工具包；开放科学网格；Condor-G… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）…
TuCSoN公司 引用于7份文件(2001–2018) 软件作者： 安德烈亚·奥米西尼（Andrea Omicini）；弗朗科·赞博内利 相关软件： 琳达；重新规范；石灰… 主要字段： 计算机科学（68-XX）
迪亚斯波拉 14篇文献引用(2000–2009) 软件作者： 玛雅·拉马纳；Jayant R.哈里萨。 相关软件： – 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
珍妮 8份文件引用（2019年至2022年） 软件作者： Budde，C.E.，Dehnert，C.，Hahn，E.M.，Hartmanns，A.，Junges，S.，Turrini，A。 相关软件： 棱镜；风暴；Uppaal… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
奈亚德 引用于7份文件(2017–2022) 软件作者： D.G.Murray、F.McSherry、R.Isaacs、M.Isard、P.Barham、M.Abadi 相关软件： 流QRE；LOLA；哈斯克尔… 主要字段： 计算机科学（68-XX）
交易人员 6篇文献引用(2005–2018) 软件作者： 约翰·菲尔德（John Field）；卡洛斯·瓦雷拉。 相关软件： 埃尔朗；考德；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RLT-位置 5份文件引用(2016–2023) 软件作者： 埃夫里姆·达尔基兰；谢拉利，Hanif D。 相关软件： RAPOSa；古罗比；库恩… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
CONTRAM公司 4份文件引用(1995–2016) 软件作者： 泰勒NB 相关软件： TEMMS；特雷莫夫；移动… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
dMPC公司 2份文件引用(2020–2021) 软件作者： 伊芙琳娜·斯托亚诺娃（Ivelina Stoyanova）；格穆尔·库库埃尔登；古斯塔沃·阿拉贡；伊达尔戈·罗德里格斯，迭戈一世。；安东尼·蒙蒂（Antonello Monti）；Johanna Myrzik 相关软件： 皮奥莫；CPLEX公司 主要字段： 系统论；对照（93-XX）
ECOMOD公司 2份文件引用(2003–2010) 软件作者： 新泽西州扎夫里夫。；Pospelov，I.G。；Pospelova，L.Ya。 相关软件： – 主要字段： 经典热力学，传热（80-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
HOMER（主页） 2份文件引用(2017–2020) 软件作者： Mestre O、Domonkos P、Picard F等人。 相关软件： 分段器3IsBack；cghseg；AR1段… 主要字段： 统计学（62-XX）
TuSoW公司 1份文件引用(2021) 软件作者： Ciatto G.、Rizzato L.、Omicini A.、Mariani S。 相关软件： SWI-预测；重新规范；TuCSoN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CoorSet（冷却设置） 1份文件引用(2004) 软件作者： 凯文·凯恩（Kevin Kane）；詹姆斯·布朗（James C.Browne）。 相关软件： 克拉瓦 主要字段： 计算机科学（68-XX）
印度财政部 1份文件引用(2019) 软件作者： 何，Q。；王，X。；张，C。；黄，M。；Zhao，Y。， 相关软件： 畅通节能法；CoFIM；CELF公司++ 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
网格工具包 1份文件引用（2014年） 软件作者： T.J.Tautges、J.Kraftcheck、J.Porter 相关软件： 维也纳电网；CGALmesh；维也纳网… 主要字段： 数值分析（65-XX）
modMine公司 1份文件引用(2016) 软件作者： 塞尔吉奥·孔特里诺（Sergio Contrino）、理查德·史密斯（Richard N.Smith）、丹妮拉·布塔诺（Daniela Butano）、阿德里安·卡尔（Adrian Carr）、胡凤媛（Fengyuan Hu）、蕾切尔·林恩（Rachel Lyne）、金·卢瑟福（Kim Rutherford）、亚历克斯·卡尔德里米斯（Alex Kalderimis）、朱莉·沙利文（Julie Sullivan）、赛斯·卡本（Seth Carbon）、艾伦·T·凯 相关软件： UniPROBE；InteroPORC；JASPAR… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
穿山甲 在0个文档中引用 软件作者： 路易斯·布尔达洛；泰拉莎，安德烈的作者简介；维森特·朱利安；哈维尔·巴约；萨拉·罗德里格斯；胡安·曼纽尔·科查多 相关软件： – 主要字段： 计算机科学（68-XX）
Virtuoso下一步 1份文件引用(2022) 软件作者： Altreonic NV公司；克里杜，吉勒米纳；何塞·普伦萨；伯恩哈德·H·C·斯普特。；埃里克·弗赫斯特 相关软件： 普罗米拉；里奥；自旋蛋白 主要字段： 计算机科学（68-XX）