电子稳定控制系统/Java 120篇文献引用(2001–2022) 软件作者： 格雷格·纳尔逊 相关软件： 规范#；简化；JML… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
阿斯特里 112份文件引用(2002–2023) 软件作者： 帕特里克·库索特（Patrick Cousot）、拉迪亚·库索特、杰罗姆·费雷特（Jeróme Feret）、劳伦特·毛博尔涅（Laurent Mauborgne）、安托万·米内（Antoine Miné）、大卫·莫尼奥（David Monniaux）、泽维尔 相关软件： 停机坪；z3；PPL… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
CiaoPP公司 51份文件中引用(1999–2022) 软件作者： Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件： Ciao；SICStus公司；汞… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CADNA 49篇文献引用(1993–2023) 软件作者： Fabienne Jézéquel，Jean-Marie Chesneaux 相关软件： mctoolbox；国际实验室；MPFR… 主要字段： 常微分方程（34-XX）；近似和展开（41-XX）；积分方程（45-XX）…
火花 38篇文献引用(1990–2023) 软件作者： Darren Foulger；史蒂夫·金 相关软件： JML；规范#；ESC/Java… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）…
沃夫兰 35篇文献引用(1999–2022) 软件作者： 埃里克，韦贝克；Wil M.P.范德阿尔斯特。 相关软件： PNML；咩咩叫；WSAT… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
GF公司 30篇文献引用(1999–2021) 软件作者： 阿恩·兰塔 相关软件： Coq；米扎尔；Isar… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
维拉斯科 15篇文献引用(2016–2023) 软件作者： 雅克·亨利·朱丹（Jacques-Henri Jourdan）、文森特·拉波特（Vincent Laporte）、桑德琳·布拉齐（Sandrine Blazy）、泽维尔·勒罗伊（Xavier Leroy）、大卫·皮查迪（David Pichardie） 相关软件： Coq；工具链；z3… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；凸和离散几何（52-XX）…
ADOL-F公司 10篇文献引用（1996-2018） 软件作者： 德米特里·西里亚耶夫（Dmitri Shiriaev）；安德烈亚斯·格雷万克 相关软件： ADIFR；ADOL-C；ADIC… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
L-PICOLA公司 4份文件引用(2017–2023) 软件作者： 卡兰·霍利特、马克·马内拉、威尔·J·珀西瓦尔 相关软件： 可乐；ECOSMOG；nbodykit… 主要字段： 算子理论（47-XX）；统计学（62-XX）；粒子力学与系统（70-XX）…
SAFE代码 4份文件引用(2008–2013) 软件作者： Dhurjati，D.，Kowshik，S.，Adve，V。 相关软件： CCured；Coq；有限责任公司 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
桑特 1份文件引用（2018年） 软件作者： 奥马尔·切巴罗；尼古拉·科马托夫；阿兰·乔尔盖蒂；雅克·朱利安德 相关软件： Frama-C；PathCrawler；Coq… 主要字段： 计算机科学（68-XX）
辛萨拉帕 引用于3份文件（2019年-2023年） 软件作者： 马吕斯·霍弗特；马丁·梅奇勒 相关软件： R；Rmpi；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ACuLa博士 2份文件引用(2007–2012) 软件作者： Dale Vaillancourt、Rex Page、Matthias Felleisen 相关软件： DrScheme；ACL2；校样板… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
DRABT公司 2份文件引用(2015–2016) 软件作者： Marijn J.H.Heule；阿明·比尔 相关软件： MiniSat；DRAT-饰件；PicoSAT… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
爬行动物 2份文件引用（2011年至2017年） 软件作者： 肖扬（Xiao Yang）、卡琳·道曼（Karin S.Dorman）、斯里尼瓦斯·阿鲁鲁（Srinivas Aluru） 相关软件： SHREC；HiTEC；地震… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
防抱死制动系统 1份文件引用(2022) 软件作者： 亚历山大·韦伯（Alexander Weber）；马科维奇克（Macoveiciuc）、伊利赛（Elisei）；冈瑟·雷西格 相关软件： AROC；GRKLib；p面… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
rPowerlib（电源库） 1份文件引用(2019) 软件作者： 克雷德勒，S.M。；林厄姆，B.M。；穆勒，K.E。；Glueck，D.H。 相关软件： github；GLIMMPSE公司；R（右） 主要字段： 统计学（62-XX）
SPEX左LU 1份文件引用(2022) 软件作者： 克里斯托弗·劳伦科（Christopher Lourenco）；陈金浩；埃里克·莫雷诺-康蒂诺（Erick Moreno-Centeno）；蒂莫西·戴维斯（Timothy A.Davis）。 相关软件： github；NTL；LinBox… 主要字段： 数值分析（65-XX）