科拉特 24篇文献引用(2001–2022) 软件作者： Chandrasekhar Boyapati；萨尔夫拉兹·库希德（Sarfraz Khurshid）；达科·马里诺夫 相关软件： Symstra公司；TestEra；Java PathFinder… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
学习库 引用于27份文件(2011–2023) 软件作者： 哈拉尔德·拉菲尔特；伯恩哈德·斯特芬；特里斯·伯格；蒂齐亚娜·玛格丽亚 相关软件： libalf；github；z3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；Chen，Juan；Fornet，塞德里克；支柱，Pierre-Yves；Bhargavan，Karthikeyan；杨吉恩 相关软件： 辅酶q；Nuprl；EasyCrypt… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
pGCL公司 14篇文献引用(2005–2022) 软件作者： 公鸡，D。 相关软件： 辅酶q；Isabelle/HOL；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
PHSVDS公司 14篇文献引用(2015–2024) 软件作者： 吴凌飞；安德烈亚斯·斯塔托普洛斯 相关软件： 普里姆；PRIMME_SVDS；稀疏矩阵… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
液化石油气 12份文件引用(2003–2022) 软件作者： 阿方索·盖列维尼（Alfonso E.Gerevini）、亚历山德罗·萨埃蒂（Alessandro Saetti）、伊万·塞里纳（Ivan Serina）、毛罗·瓦拉蒂（Mauro Vallati） 相关软件： 图形平面图；PDDL；Walksat… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
FaIMS公司 12份文件引用(2012–2023) 软件作者： 圣埃芬尼Chaillat；乔治·比罗斯 相关软件： LSQR；PyTorch；凯利… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；积分方程（45-XX）…
蜗牛 7份文件引用(2010–2021) 软件作者： Chandra，S.、Fink，S.J.、Sridharan，M。 相关软件： 投掷；z3；STP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
焦点测试 6篇文献引用(2011–2018) 软件作者： 卡利埃、马蒂厄；凯瑟琳·杜布瓦（Catherine Dubois）；阿尔诺·哥特利布 相关软件： 快速检查；辅酶q；SmallCheck… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
MnM公司 2份文件引用(2002–2006) 软件作者： 玛丽亚·瓦尔加斯·维拉（Maria Vargas Vera）；恩里科·莫塔；约翰·多明戈（John Domingue）；马蒂亚·兰佐尼；亚瑟·斯图特；法比奥·西拉维尼亚 相关软件： S-CREAM；AquaLog；DBpedia… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
代数_VC 引用于3份文件(2017–2022) 软件作者： 戈麦斯，V.B.F.，斯特鲁斯，G。 相关软件： 存档正式证据；Isabelle/HOL；克莱纳代数… 主要字段： 计算机科学（68-XX）
DynAlloy合金 2份文件引用(2007–2021) 软件作者： 马塞洛·弗里亚斯（Marcelo F.Frias）、胡安·加莱奥蒂（Juan P.Galeotti）、卡洛斯·洛佩斯·蓬博（Carlos López Pombo）、纳扎雷诺·阿吉雷（Nazareno Aguirre） 相关软件： MiniSat；JPF-SE；YOGI… 主要字段： 计算机科学（68-XX）
ENFORCe公司 引用于3份文件(2019–2020) 软件作者： Azab，K.、Habel，A.、Pennemann，K.H.、Zuckschwerdt，C。 相关软件： OCLinEcore；OCL2AC；AGG… 主要字段： 计算机科学（68-XX）
澳大利亚皇家银行股份有限公司 2份文件引用(2013–2019) 软件作者： 米哈伊尔·戈夫曼一世。；罗瑞奇；所罗门，艾拉·C·。；张应斌；杨平；斯科特·斯托勒。 相关软件： ASASP；Mcmt；TPTP公司 主要字段： 计算机科学（68-XX）
羚羊 2份文件引用(1991) 软件作者： 詹姆斯·M·莫里斯。；马克·霍华德 相关软件： 卡利班；克里奥；米兰达 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
克里奥 2份文件引用(1991) 软件作者： 詹姆斯·M·莫里斯。；马克·霍华德 相关软件： 卡利班；阿里尔；米兰达 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
FeynMG公司 2份文件引用(2023–2024) 软件作者： 穆尼奥斯，塞尔吉奥·塞维拉诺；Edmund J.科普兰。；彼得·米林顿；迈克尔·斯潘诺夫斯基 相关软件： x法案；FeynCalc；MadGraph… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
DeExcelerator公司 在0个文档中引用 软件作者： 朱利安·埃比利乌斯（Julian Eberius）；克里斯托珀·沃纳（Christoper Werner）；Maik Thiele；凯特琳·布伦瑞克；拉尔斯·丹内克；沃尔夫冈雷纳 相关软件： HaExcel；森巴祖鲁；XCellAnnotator… 主要字段： –
StarFinder公司 1份文件引用(2019) 软件作者： Pham，Long H。；Le，Quang Loc；Phan，Quoc-Sang；孙军；秦胜超 相关软件： 日本煤炭公司；JBSE；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
威士忌 1份文件引用(2018) 软件作者： Shao，D.，Khurshid，S.，Perry，D.E。 相关软件： MiniSat；WhyLine；Kodkod… 主要字段： 计算机科学（68-XX）