LAPACK公司 1759年文献引用(1988–2024) 软件作者： LAPACK团队：lapack@cs.utk.edu 相关软件： BLAS；ScaLAPACK；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MPFR公司 引用于249份文件（2001年至2024年） 软件作者： 纪尧姆·汉洛（Guillaume Hanrot）、文森特·列夫雷（Vincent Lefèvre）、帕特里克·佩利西尔（Patrick Pélissier）、菲利普·塞维尼（Philippe Théveny）、保罗·齐默尔曼 相关软件： gmp；Mathematica；mctoolbox… 主要字段： 数论（11-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
fpLLL公司 59篇文献引用(2008–2023) 软件作者： Damien Stehle、Xavier Pujol、David Cade 相关软件： github；BKZ；G6K… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
先进像素 51份文件中引用(2013–2023) 软件作者： advanpix.com公司 相关软件： Matlab；mctoolbox；gmp… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；统计学（62-XX）…
MPFI公司 47篇文献引用(1979–2023) 软件作者： Nathalie Revol；法布里斯·鲁利耶 相关软件： MPFR；C-XSC 2.0；隔离… 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
h浮土 32篇文献引用(2001–2023) 软件作者： 约格·阿恩特 相关软件： FXT；组织环境信息系统；SageMath… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
弗洛克 28篇文献引用(2011–2024) 软件作者： S Boldo；G Melquiond；印度.fr 相关软件： Coq；MPFR；Why3… 主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；偏微分方程（35-XX）…
项目参考 18篇文献引用（2009年-2023年） 软件作者： 马克·巴布林（Marc Baboulin）；阿尔弗雷多·布塔里；Jack Dongarra；雅库布·库扎克；朱莉·兰古；Julien Langou；彼得·卢斯科（Piotr Luszczek）；斯坦尼米尔·托莫夫 相关软件： mctoolbox；LAPACK；库达… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
独奏重力波 17篇文献引用(2013–2022) 软件作者： 迪迪埃·克拉蒙德；杜蒂克、丹尼斯 相关软件： Matlab；advanpix；SSGW公司 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
真实图书馆 16篇文献引用(2006–2023) 软件作者： 布兰尼米尔·兰博夫 相关软件： iRRAM；MPFR；RZ… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；测量和集成（28-XX）…
看 在11份文件中引用(2000–2009) 软件作者： Stefan Funke；库尔特·梅尔霍恩 相关软件： CGAL；LEDA；MAPC… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）
埃索利德 10篇文献引用(2005–2018) 软件作者： J.Keyser、T.Culver、M.Foskey、S.Krishnan、D.Manocha。 相关软件： MAPC；EXACUS（考克斯）；隔离… 主要字段： 代数几何（14-XX）；数值分析（65-XX）；计算机科学（68-XX）…
露营地 7份文件引用(2016–2023) 软件作者： 米奥拉·霍尔德斯；Jean-Michel Muller；瓦伦蒂娜·波佩斯库；沃里克塔克 相关软件： MPFR；LBNL；MPFI… 主要字段： 总体主题；藏品（00-XX）；代数几何（14-XX）；数值分析（65-XX）…
CoStLy公司 6篇文献引用(2004–2018) 软件作者： 马库斯·尼赫尔 相关软件： 国际实验室；C-XSC 2.0；filib++… 主要字段： 总体主题；藏品（00-XX）；复变量函数（30-XX）；动力系统和遍历理论（37-XX）…
间隔算术.jl 5份文件引用（2019年-2023年） 软件作者： 桑德斯，D.P.，贝内特，L。 相关软件： 朱莉娅；github；块茎… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
验证数字.jl 4份文件引用（2019年-2023年） 软件作者： Benet，L.、Sanders，D.P。 相关软件： github；C-XSC 2.0；摩尔… 主要字段： 功能分析（46-XX）；算子理论（47-XX）；数值分析（65-XX）…
corr2el（腐蚀） 3份文件引用(2005–2012) 软件作者： 斯维尔克·爱德华德森（Sverker Edvardsson）、丹尼尔·阿伯格（Daniel Aberg）、佩尔·乌德霍尔姆（Per Uddholm） 相关软件： Matlab；汇编FermiMatrix；PARSEC… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；量子理论（81-XX）…
浮点转换 2份文件引用(2013–2018) 软件作者： 马尔戈扎塔·扬科夫斯卡 相关软件： COMSOL公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
软盘 1份文件引用(2016) 软件作者： Lakhotia，K.、Tillmann，N.、Harman，M.、de Halleux，J。 相关软件： 澳大利亚；CBMC；DART… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
RangeLab公司 3份文件引用(2018–2021) 软件作者： 马特尔，M。 相关软件： PRECiSA公司；促进；Boost Interval算术… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
SPAR平台 3份文件引用(1995–2008) 软件作者： 瓦莱丽·泰勒（Valerie E.Taylor）。；拉纳德，阿布拉姆；David G.Messerschmitt先生。 相关软件： —— 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
黛西 2份文件引用(2021) 软件作者： Darulova E.、Izycheva A.、Nasir F.、Ritter F.，Becker H.、Bastian R 相关软件： z3；dReal；QF_FP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
NBSymple公司 1份文件引用(2013) 软件作者： R.Capuzzo-Dolcetta、A.Mastrobuono-Battisti、D.Maschietti 相关软件： 库达 主要字段： 粒子和系统力学（70-XX）；运筹学、数学规划（90-XX）
可见性 2份文件引用（2010年-2023年） 软件作者： K.J.Obermeyer。 相关软件： 道芬；自由Fem++ 主要字段： 偏微分方程（35-XX）；算子理论（47-XX）；运筹学、数学规划（90-XX）
PAxML公司 1份文件引用(2003) 软件作者： 亚历山大·斯塔马塔基斯（Alexandros P.Stamatakis）。；托马斯·路德维希；哈拉尔德·迈耶 相关软件： fastDNAml（快速DNAml） 主要字段： 计算机科学（68-XX）