小脚 55份文件引用(2004–2023) 软件作者： J.伯丁、C.加尔卡尼奥、P.W.奥赫恩。 相关软件： VeriFast；jStar；HIP… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
活力 32篇文献引用(1993–2018) 软件作者： 托尼·安德鲁斯；沙兹·卡迪尔；Rajamani，Sriram K。；雅各布·雷霍夫；谢、伊晨 相关软件： 自旋蛋白；SLAM；veriSoft… 主要字段： 代数几何（14-XX）；复变量函数（30-XX）；统计学（62-XX）…
奥特 34份文件引用(2007–2021) 软件作者： 彼得·休厄尔（Peter Sewell）；纳德利，弗朗西斯科·扎帕；斯科特·欧文斯；吉尔斯·佩斯金（Gilles Peskine）；托马斯·里奇；萨卡，苏斯米特；Strniša，罗克 相关软件： Coq；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
胡迪尼 26篇文献引用（2001年至2022年） 软件作者： 弗拉纳根C，莱诺KRM 相关软件： Daikon；ESC/Java；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
玛丽亚 19份文件引用(2000–2021) 软件作者： M“akel”a，马可 相关软件： LoLA；Uppaal；M网络… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）…
MMT公司 13份文件引用(2007–2019) 软件作者： Fabricio Chalub；克里斯蒂亚诺·布拉加 相关软件： 莫德；K校准仪；JavaFAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SMV公司 在13份文件中引用(1986–2018) 软件作者： 埃德·克拉克；K.L.麦克米兰；E.A.艾默生；J.R.伯奇 相关软件： 高科技；PHAVer；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
爪哇-MaC 11份文件引用(2003–2021) 软件作者： Moonzoo Kim、Mahesh Viswanathan、Sampath Kannan、Insup Lee、Oleg Sokolsky 相关软件： JPAX；Java-MOP；LOLA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
增量CCS 4份文件引用(2015–2020) 软件作者： 马耳他州洛豪；Stephan Mennicke；Hauke Baller；拉尔斯·里贝克 相关软件： VMC；自旋蛋白；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
长期平均价格 5份文件引用(2017–2022) 软件作者： Cameron Finucane；港元景；哈达斯·克雷斯·加济特 相关软件： TuLiP；PESSOA；SCOTS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
MFE公司 4份文件引用(2012–2023) 软件作者： 弗朗西斯科·杜兰；卡米洛·罗查；何塞·M·阿尔瓦雷斯。 相关软件： 莫德；ITP；P审计… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
StreamQRE（流QRE） 5份文件引用(2019–2023) 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ProMoVer公司 4份文件引用(2011–2016) 软件作者： Siavash Soleimanifard；古罗夫，帝力；玛丽克·赫斯曼 相关软件： MAVEN公司；DeltaCCS；MSTA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
miTLS系统 3份文件引用(2019–2021) 软件作者： Karthikeyan Bhargavan、Cédric Fournet、Santiago Zanella-Béuelin、Benjamin Beurdouche、Antoine Delignat Lavaud、Markulf Kohlweiss、Jean Karim Zinzindohoué、Nadim Kobeissi、Alfredo Pironti、Pierre Yves Strub 相关软件： NAXOS；HaNS；CppMem；…（C）… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
模拟病人 3份文件引用(2009–2018) 软件作者： Huang，Huei-Chuen；Lee，Loo-Hay；宋海清；布赖恩·托马斯·埃克 相关软件： – 主要字段： 运筹学、数学规划（90-XX）
语言2LTL 2份文件引用(2023) 软件作者： 刘新余；杨，Z。；Idrees，I。；Liang，S。；肖恩斯坦，B。；Tellex，S.公司。；A.沙阿。 相关软件： OpenAI健身房；AMYTISS公司；深度合成… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；系统论；控制（93-XX）
MoSS公司 1份文件引用(2021) 软件作者： 埃米尔·赫茨伯格；莱博维茨，赫米；西塔，埃瓦；萨拉·沃托尼亚克 相关软件： 隐秘HOL；塔马林；GNUC… 主要字段： 信息与通信理论，电路（94-XX）