Z 237篇文献引用（1958年-2023年） 软件作者： 吉姆·伍德科克；吉姆·戴维斯 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
Flyspeck飞点 132份文件引用(2004–2023) 软件作者： 托马斯·黑尔斯（Thomas C.Hales）。；Tankink，Carst公司；塞萨里·卡利西克；约瑟夫·乌尔班（Josef Urban）；赫尔曼·格乌弗斯 相关软件： HOL灯；Isabelle/HOL；Coq… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
腿 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
CVXR公司 29篇文献引用(2019–2024) 软件作者： 傅安琪（Anqi Fu）、巴拉苏布拉曼尼亚人（Balasubramanian Narasimhan）、斯蒂芬·博伊德（Stephen Boyd） 相关软件： CVX；CVXPY；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
锌 28篇文献引用(2005–2022) 软件作者： 万豪酒店，Kim；尼赫科特，尼古拉斯；雷扎·拉斐；Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；马克·华莱士 相关软件： 本质；微量锌；Gecode… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
阿尔多 26篇文献引用(1997–2014) 软件作者： aldor.org；曼纽尔·布朗斯坦 相关软件： AXIOM；枫树；SageMath… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；范畴理论；同调代数（18-XX）…
那不勒斯 14篇文献引用(2010–2021) 软件作者： Cramer，M.，Koepke，P.，Schröder，B。 相关软件： 米扎尔；对于TheL；Flyspeck… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
对于TheL 12份文件引用(2002–2021) 软件作者： Vershinin，K.，Paskevich，A。 相关软件： 米扎尔；SAD；定理… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
希尔伯特类库 10篇文献引用(1996–2022) 软件作者： Gockenbach，医学硕士。；西姆斯，W.W。 相关软件： LAPACK；L-BFGS；ADIFOR… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
米兹3 12份文件引用(2012–2020) 软件作者： 弗里克·威迪杰克 相关软件： Coq；米扎尔；Isar… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
MUSCOP公司 8份文件引用(2001–2023) 软件作者： 安德烈亚斯·波茨赫卡 相关软件： 纽顿图书馆；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
样品 8份文件引用(2008–2022) 软件作者： 巴伦特，克里斯蒂安；乔塔姆·米特拉；穆斯塔法·萨奇；福勒，罗伯特 相关软件： MSLiP；古罗比；PySP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿尔巴 7份文件引用(1991–2020) 软件作者： Grant O.jun.库克。；Jeffrey F.画家。 相关软件： GENTRAN公司；PDEQSOL；CTADEL… 主要字段： 总体主题；藏品（00-XX）；积分方程（45-XX）；数值分析（65-XX）…
Pcoq公司 6篇文献引用(2007–2023) 软件作者： 艾哈迈德·阿默卡德；伊夫·贝托特（Yves Bertot），洛伊克·波蒂埃（Loíc Pottier）；劳伦斯·里多 相关软件： Coq；MMP/Geometer；GEX… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
GRC 3.2 5份文件引用(1996–2013) 软件作者： 瓦迪姆·V·兹特尼科夫 相关软件： 减少；EXCALC公司 主要字段： 微分几何（53-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
微量锌 4份文件引用(2017–2019) 软件作者： 枪支，蒂亚斯；安东·德里斯（Anton Dries）；齐格弗里德·尼杰森；塔克，吉多；吕克·德·雷德 相关软件： Gecode公司；本质；迷你锌… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
欧洲CLID 3份文件引用(1995–2022) 软件作者： 贾尼契奇，普雷德拉格；斯特万·科尔迪奇 相关软件： ArgoCLP；Coq；TPTP… 主要字段： 数理逻辑与基础（03-XX）；凸几何和离散几何（52-XX）；计算机科学（68-XX）
Plat-Omega平台 3份文件引用(2007–2019) 软件作者： 马克·瓦格纳（Marc Wagner）；Serge Autexier；克里斯托夫·本兹穆勒 相关软件： 乳胶；OMDoc；MMTTeX… 主要字段： 计算机科学（68-XX）
SErAPIS公司 2份文件引用(2021–2022) 软件作者： Stathopoulos，Y.、Koutsoukou-Argyraki，A.、Paulson，L。 相关软件： 发现事实；Isabelle/HOL；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
网络学习 2份文件引用(2017–2020) 软件作者： 内森·卡特（Nathan C.Carter）。；肯尼思·G·蒙克斯。 相关软件： 精益；降价；CalcCheck… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
阿尔玛 1份文件引用（2005年） 软件作者： Oancea，Cosmin E。；斯蒂芬·瓦特（Stephen M.Watt）。 相关软件： AXIOM；阿尔多；枫树 主要字段： 计算机科学（68-XX）
Naproche-SAD公司 1份文件引用(2020) 软件作者： 阿德里安·德隆（Adrian De Lon）；彼得·科普克（Peter Koepke）；安东·洛伦岑 相关软件： 精益；拿破仑；对于L… 主要字段： 计算机科学（68-XX）
PyArmadillo公司 在0个文档中引用 软件作者： Jason Rumengan、Terry Yue Zhuo、Conrad Sanderson 相关软件： 助推。蟒蛇；RcppArmadillo；MKL… 主要字段： –