阿斯毫升 45篇文献引用（2001年-2023年） 软件作者： 微软研究院；格里斯坎普，W。；古雷维奇·Y。 相关软件： 毫升；SpecExplorer；科拉特… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
魔法 39篇文献引用(2003–2020) 软件作者： 萨加尔·查基；埃德蒙·克拉克；Jha，萨默什；赫尔穆特·维思 相关软件： ComFoRT；班德拉；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
Dyna公司 13份文件引用(2008–2022) 软件作者： 杰森·艾斯纳；埃里克·戈德鲁斯特（Eric Goldlust）；诺亚·A·史密斯；西北部菲拉多。 相关软件： ProbLog；棱镜；kProbLog… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
SMV公司 13份文件引用(1986–2018) 软件作者： Ed Clarke；K.L.McMillan；E.A.艾默生；J.R.伯奇 相关软件： 高科技；PHAVer；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
雅克斯塔布 7份文件引用（2011年-2023年） 软件作者： Johannes Kinder，Helmut Veith 相关软件： github；卫星抗体；WPDS++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ASMKeY公司 6篇文献引用（2004年至2012年） 软件作者： 南城，斯坦尼斯拉斯；Robert F.Stärk。 相关软件： 凯伊；ANTLR；Why3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
StEAM公司 引用于3份文件(2004–2011) 软件作者： 彼得·莱文（Peter Leven）；蒂尔曼·梅勒；斯特凡·爱德坎普 相关软件： 自旋蛋白；卫星抗体；Zing… 主要字段： 计算机科学（68-XX）
代码2seq 1份文件引用（2023年） 软件作者： 乌里·阿龙（Uri Alon）、莎克·布罗迪（Shaked Brody）、奥马尔·利维（Omer Levy）、埃兰·雅哈（Eran Yahav） 相关软件： BERT；RoBERTa公司；Python… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
艾丽尔 2份文件引用(1991) 软件作者： 詹姆斯·M·莫里斯。；马克·霍华德 相关软件： 卡利班；克里奥；米兰达 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
MP2毫升 2份文件引用(2021–2024) 软件作者： Boemer，F.、Cammarota，R.、Demmler，D.、Schneider，T.、Yalame，H。 相关软件： n图形HE；github；他… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
乳酪 1份文件引用(2020) 软件作者： Nakano，M.、Ogata，K.、Nakamura，M.和Futatsugi，K。 相关软件： OBJ咖啡馆；SPASS；CiMPG… 主要字段： 计算机科学（68-XX）