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）
iscasMc公司 在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）
PowerModels.jl公司 引用于7份文件(2021–2023) 软件作者： C.Coffrin、R.Bent、K.Sundar、Y.Ng、M.Lubin 相关软件： 朱莉娅；JuMP；Ipopt… 主要字段： 运筹学、数学规划（90-XX）
JSAI公司 6篇文献引用(2017–2022) 软件作者： 维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫 相关软件： JavaScript；幻影；诺恩… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
冰箱 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) 软件作者： 米尔科·斯托贾迪诺维奇；Marić，菲律宾 相关软件： 微量锌；糖；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) 软件作者： Ochotta，E.S.，Rutenbar，R.A.，Carley，L.R 相关软件： CGLS公司 主要字段： 计算机科学（68-XX）；光学、电磁理论（78-XX）；运筹学，数学规划（90-XX）…
增量CCS 4份文件引用(2015–2020) 软件作者： 马耳他州洛豪；Stephan Mennicke；Hauke Baller；拉尔斯·里贝克 相关软件： VMC；自旋蛋白；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
StreamQRE（流QRE） 5份文件引用(2019–2023) 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（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）
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）
IMAP公司 1份文件引用(2002) 软件作者： 萨里特·克劳斯（Sarit Kraus）、亚历山大·克雷纳（Alexander Kröner）和李·察班（Lea Tsaban） 相关软件： – 主要字段： 计算机科学（68-XX）