CiaoPP公司 51篇文献引用(1999–2022) 软件作者： Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件： Ciao；SICStus公司；汞… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AI2公司 27篇文献引用(2020–2024) 软件作者： Gehr，T.、Mirman，M.、Drachsler-Cohen，D.、Tsankov，P.、Chaudhuri，S.、Vechev，M.T。 相关软件： Reluplex；马拉博；ImageNet… 主要字段： 代数几何（14-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
洛拉 23篇文献引用(2009–2023) 软件作者： D’Angelo，B。；等。 相关软件： 蒙保利；Java-MOP；LUSTRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
iscas-Mc公司 在11份文件中引用(2016–2023) 软件作者： Hahn，E.M.、Li，Y.、Schewe，S.、Turrini，A.、Zhang，L。 相关软件： 棱镜；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
孩子们 在11份文件中引用(1992–2021) 软件作者： D.R.史密斯 相关软件： 定理；ALISA；TAMPR… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）
日本国际协力团 6篇文献引用(2017–2022) 软件作者： Vineeth Kashyap、Kyle Dewey、Ethan A.Kuefner、John Wagner、Kevin Gibbons、John Sarracino、Ben Wiedermann、Ben Hardekopf 相关软件： JavaScript；幻影；诺恩… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
PowerModels.jl公司 7份文件引用(2021–2023) 软件作者： C.Coffrin、R.Bent、K.Sundar、Y.Ng、M.Lubin 相关软件： JuMP；朱莉娅；Ipopt… 主要字段： 运筹学、数学规划（90-XX）
FRIDGE公司 4份文件引用(2004–2007) 软件作者： Keding，H.、Willems，M.、Coors，M.和Meyr，H。 相关软件： Simulink；HOL；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
MultiVeStA公司 6篇文献引用(2016–2023) 软件作者： 斯特凡诺·塞巴斯蒂奥；安德烈·范丁 相关软件： 莫德；PVeStA；皮尔洛… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
meSAT公司 7份文件引用(2014–2023) 软件作者： 米尔科·斯托贾迪诺维奇；菲利普·马里奇 相关软件： 微量锌；糖；Yices… 主要字段： 几何（51-XX）；数值分析（65-XX）；计算机科学（68-XX）…
海康普 6篇文献引用(2017–2022) 软件作者： A.Cimatti、A.Griggio、S.Mover、S.Tonetta 相关软件： nuXmv；CTIGAR；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ASTRX/OBLX公司 4份文件引用（2007-2014） 软件作者： 奥乔塔，E.S.，鲁滕巴尔，R.A.，卡利，L.R 相关软件： CGLS公司 主要字段： 计算机科学（68-XX）；光学、电磁理论（78-XX）；运筹学，数学规划（90-XX）…
增量CCS 4份文件引用(2015–2020) 软件作者： 马耳他州洛豪；Stephan Mennicke；Hauke Baller；拉尔斯·里贝克 相关软件： VMC；自旋蛋白；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
沙尔米 2份文件引用(2003–2013) 软件作者： Pelliccione，P。；因弗拉迪，P。；H.穆奇尼。 相关软件： 自旋蛋白；AUTOSAR；MARTE… 主要字段： 计算机科学（68-XX）
版本X 4份文件引用(2020–2022) 软件作者： Permenev，A.、Dimitrov，D.、Tsankov，P.、Drachsler-Cohen，D.、Vechev，M。 相关软件： solc-verify；落叶松；埃菲尔… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
四层楼 3份文件引用(2013–2020) 软件作者： Sridharan，M。；阿尔齐，S。；皮斯托亚，M。；瓜尼埃里，S。；跳闸，O。；R·伯格。 相关软件： TAJ公司；戴坦；像素… 主要字段： 计算机科学（68-XX）
BMaude公司 2份文件引用(2002–2004) 软件作者： 何塞·梅塞盖尔；格里高·罗什乌 相关软件： 莫德；咖啡馆；OBJ3型 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NN修复 2份文件引用(2022) 软件作者： 穆罕默德·乌斯曼；Divya Gopinath；孙友成；诺勒，亚尼克；科琳娜·帕萨雷努 相关软件： 马拉博；Reluplex；DL2… 主要字段： 计算机科学（68-XX）
开放式多媒体数据存储系统 1份文件引用(2017) 软件作者： 埃尔梅森·C·安德拉德。；阿尔维斯，马塞洛；马托斯、鲁本斯；布鲁诺·席尔瓦；保罗·马西尔 相关软件： – 主要字段： 运筹学，数学编程（90-XX）；系统论；控制（93-XX）
ESP处理器 1份文件引用(2019) 软件作者： Cui，R.，Zhang，Z.，Zhao，K。 相关软件： github；ELPS；ES模型… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）