图形库 140篇文献引用（1993年-2023年） 软件作者： 唐纳德·科努特（Donald E.Knuth）。 相关软件： LOLIB；LEDA；Pajek数据集… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
机锋网 137篇文献引用(2006–2024) 软件作者： 安德斯·内德加德·詹森 相关软件： 单一；麦考利2号；聚乙烯… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
CVC公司 45篇文献引用(2002–2021) 软件作者： 阿伦·斯塔姆（Aaron Stump）；克拉克·巴雷特（Clark W.Barrett）。；大卫·L·迪尔。 相关软件： CVC-Lite；简化；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
迷你球 47篇文献引用(2001–2023) 软件作者： 卡斯帕·菲舍尔；Gärtner，伯尔尼；阿迪蒂亚·古普塔；亚历山大·康斯坦蒂纳基斯·卡米斯 相关软件： SDPT3；SeDuMi公司；CGAL… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
PolyLib公司 46篇文献引用(1996–2019) 软件作者： Loechner，V。；多兰·王尔德。 相关软件： PPL；高科技；LattE… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
奥根 32篇文献引用(2003–2023) 软件作者： 威廉·D·亨肖 相关软件： CMPGRD；溢流；PETSc… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
纸杯包装 30篇文献引用(1992–2021) 软件作者： 罗纳德·库尔斯（Ronald Cools）；安·海格曼斯 相关软件： Cubpack++；Matlab；adsimp… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
BoxLib（盒子库） 20篇文献引用(1998–2022) 软件作者： CCSE公司 相关软件： Chombo；帕拉梅什；SAMRAI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
GTS公司 20篇文献引用(2000–2019) 软件作者： 波皮内特；T.琼斯 相关软件： CGAL；道芬；FEniCS… 主要字段： 代数拓扑（55-XX）；数值分析（65-XX）；计算机科学（68-XX）…
常规集合 18篇文献引用(2011–2023) 软件作者： 亚历山大·克劳斯；托比亚斯·尼普科 相关软件： 存档正式证据；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
TRIPACK（行程） 16篇文献引用(1996–2021) 软件作者： R.J.伦卡。 相关软件： SRFPACK；算法761；TSPACK… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；数值分析（65-XX）…
intpakX公司 12份文件引用(2003–2023) 软件作者： 沃尔特·克雷默 相关软件： 枫树；国际实验室；C-XSC 2.0… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
VGG面2 6篇文献引用(2020–2023) 软件作者： 曹琼、李深、谢伟迪、奥姆卡尔·M·帕基、安德鲁·齐瑟曼 相关软件： ImageNet；PyTorch；FaceNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
红衣主教 10篇文献引用(2007–2020) 软件作者： 弗朗西斯科·阿泽夫多 相关软件： CPGraph；Z/EVES；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
分离逻辑 10篇文献引用(2015–2022) 软件作者： 彼得·拉姆米奇；蕾妮·梅斯 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
瓦尔梅特 8份文件引用(2001–2021) 软件作者： Gerig，Guido；Jomier，Matthieu；米兰达·查科斯 相关软件： 批处理生成器；自由冲浪者；HDF5… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
K3地毯 8份文件引用(2019–2022) 软件作者： David Eisenbud，弗兰克·奥拉夫·施雷耶 相关软件： 麦考利2号；通信滚动；第3264册示例… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
精炼网 8份文件引用(2018–2022) 软件作者： 林国胜、安东·米兰、沈春华、伊恩·里德 相关软件： 深度实验室；U-Net；SegNet… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
解算器全部 8份文件引用(2021–2024) 软件作者： Aleksander Figiel、Anne-Sophie Himmel、AndréNichterlein、Rolf Niedermeier 相关软件： SCIP公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
代理 9份文件引用(2015–2022) 软件作者： 维姆·范德埃尔斯特（Wim Van der Elst）、保罗·梅维什（Paul Meyvisch）、阿里尔·阿隆索（Ariel Alonso）、汉娜·恩索尔（Hannah M.Ensor）、克里斯托弗·威尔（Christopher J.Weir）、吉尔特·莫伦贝 相关软件： R；dynpred；SAS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）
箱子 6篇文献引用(2010–2020) 软件作者： Gurfinkel，A.，Chaki，S。 相关软件： 停机坪；不明飞行物；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
剪刀 4份文件引用(2014–2022) 软件作者： A.约翰逊 相关软件： Matlab；Veamy；Delynoi… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PhyloScan扫描 5份文件引用(2018–2023) 软件作者： 唐云凡；马，李；丹·尼古拉。 相关软件： RcppArmadillo；卢比；半标准杆… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
VPAlib公司 5份文件引用(2004–2021) 软件作者： Nguyen H。 相关软件： 比波普；OpenNWA；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
工作包2 4份文件引用(2016–2017) 软件作者： Carlos Ansótegui、Maria Luisa Bonet、Joel Gabás、Jordi Levy 相关软件： 周六4j；MaxHS；MiniMaxSat… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
林利尔 3份文件引用(2012–2014) 软件作者： Marco E.G.V.Cattaneo。；安德烈亚·威西尔茨（Andrea Wiencierz） 相关软件： R；robustbase；tidyr… 主要字段： 统计学（62-XX）；数值分析（65-XX）
OPTGAME3公司 4份文件引用(2013–2023) 软件作者： 德米特里·布鲁斯科；颈部，莱因哈德；多丽丝·贝伦斯（Doris A.Behrens）。 相关软件： Matlab公司 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
BALTRAD公司 在0个文档中引用 软件作者： Michelson，D，Henja，A，Ernes，S，Haase，G，Koistinen，J，O ssiródka，K，Peltonen，T，Szewczykowski，M，Szturc 相关软件： wradlib；蟒蛇；Py-ART… 主要字段： –
Conley-Morse数据库 3份文件引用(2009–2016) 软件作者： S.Harker、A.Goullet等人、Hiroshi Kokubu、Kelly Spendlove 相关软件： CHomP；纽顿图书馆；GAIO公司 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）
Gc平移 3份文件引用(2007–2011) 软件作者： 丹尼尔·赫希科夫（Daniel Hirschkoff）；Damien Pous；戴维·桑吉奥吉 相关软件： SLMC；OCaml；科莱姆… 主要字段： 计算机科学（68-XX）
Geneland公司 2份文件引用(2009–2015) 软件作者： Guillot G、Mortier F、Estoup A 相关软件： 结构；R；科学… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
HelSweeper公司 2份文件引用(2014–2023) 软件作者： Jarek Rossignac、Jay J.Kim 相关软件： K球体 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
利亚普诺夫FunDR 3份文件引用(2018–2022) 软件作者： 吉拉迪，奥哈德；Rüffer，比约恩S。 相关软件： GitHub；SageMath公司 主要字段： 动力系统与遍历理论（37-XX）；算子理论（47-XX）；数值分析（65-XX）…
C划船 1份文件引用(2022) 软件作者： 丹尼尔·莱米尔（Daniel Lemire）、欧文·卡斯尔（Owen Kaser）、内森·库兹（Nathan Kurz）、卢卡·德里（Luca Deri）、克里斯·奥哈拉（Chris O'Hara）、弗朗索瓦·圣雅克（François Saint-Jacques）、格雷戈里·西 相关软件： 多品牌；Normaliz公司 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
fsdaSAS公司 2份文件引用(2021–2022) 软件作者： 托蒂，F。；科尔贝里尼，A。；阿特金森，A.C。 相关软件： 柔性CWM 主要字段： 数论（11-XX）；概率论与随机过程（60-XX）；统计学（62-XX）
GIS-EEDB公司 2份文件引用（2013-2015） 软件作者： 卡林尼科夫，I.I。；Mikheeva，A.V.公司。 相关软件： – 主要字段： 计算机科学（68-XX）；地球物理学（86-XX）
jsMath（数学） 2份文件引用(2011–2012) 软件作者： 鹿茸；dpvc@union.edu 相关软件： Greasemonkey；TeX4ht；LaTeX… 主要字段： 计算机科学（68-XX）
兰巴达 1份文件引用(2012) 软件作者： W.Schweikhardt、C.Bernaregi、N.Jessel、B.Encelle、M.Gut 相关软件： 三角形；i-math（数学） 主要字段： 数学教育（97-XX）
多唇 1份文件引用(2018) 软件作者： 安格斯·约翰逊、阿德里安·巴德利、布莱恩·里普利、库尔特·霍尼克 相关软件： R；阿尔法赫尔；SBL… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
对称张量.jl 2份文件引用(2018–2019) 软件作者： Domino，K.，Pawela，Ł。，加伦，P。 相关软件： 积蓄.jl；朱莉娅；Cumulants.jl… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）
TravMC公司 2份文件引用(2012–2017) 软件作者： 不远处，罗宾·P。；史蒂文·拉姆齐（Steven J.Ramsay）。；王志浩（音） 相关软件： TravMC2；GitHub；MoCHi… 主要字段： 计算机科学（68-XX）
CVtreeMLE公司 在0个文档中引用 软件作者： 戴维·麦考伊（David McCoy）；阿兰·哈伯德（Alan Hubbard）；马克·范德拉恩 相关软件： 精算师；sl3；R（右） 主要字段： –
有效治疗 在0个文档中引用 软件作者： 维姆·范德埃尔斯特（Wim Van der Elst）、阿里尔·阿隆索（Ariel Alonso）、吉尔特·莫伦伯格（Geert Molenberghs） 相关软件： ggplot2；边；子组ID… 主要字段： –
ISO规范 在0个文档中引用 软件作者： 马特乌斯·克尔兹托夫（Mateusz Krzysztof）、米查·斯塔特克（Micha Startek） 相关软件： BED工具；EC-BLAST；素食主义者… 主要字段： –
马特里克斯·舒伯特 在0个文档中引用 软件作者： 阿亚·阿穆萨；肖恩·格雷特（Sean Grate）；黄道吉；Patricia Klein；亚当·拉克莱尔（Adam LaClair）；罗玉元；约瑟夫·麦克多诺 相关软件： 麦考利2 主要字段： –
meneco公司 1份文件引用(2019) 软件作者： Prigent，S.、Frioux，C.、Dittami，S.，Thiele，S.和Larhlimi，A.、Collet，G.、Gutknecht，F.、Got，J.和Eveillard，D.、Bourdon，J.、Plewniak，F.和Tonon，T.Siegel，A 相关软件： COBRA工具箱；快速间隙填充；COBRApy… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ParaCrawl公司 1份文件引用(2021) 软件作者： Miquel Esplà-Gomis、Mikel L Forcada、Gema Ramírez-Sánchez、Hieu Hoang 相关软件： GitHub；彗星；TensorFlow… 主要字段： 计算机科学（68-XX）
路径_位置 1份文件引用(2024) 软件作者： 路易吉·卡普蒂；卡罗·科拉里；迪特兰尼（Di Trani），萨比诺（Sabino）；杰森·史密斯。 相关软件： GitHub；组织环境信息系统；SageMath公司 主要字段： 组合数学（05-XX）
PQ树 1份文件引用(2021) 软件作者： 西蒙·芬克（Simon D.Fink）。；Pfretzschner，马提亚斯；伊格纳斯·拉特 相关软件： 图形集；JGraphEd；OGDF公司 主要字段： 计算机科学（68-XX）
ProSparse服务器 1份文件引用(2018) 软件作者： 吕岳明。；乔恩·奥纳蒂维亚（Jon Oñativia）；路易吉码头Dragotti 相关软件： – 主要字段： 概率论与随机过程（60-XX）；信息与通信理论，电路（94-XX）
PyInterval（Py间隔） 1份文件引用(2020) 软件作者： 斯特凡诺·塔奇尼 相关软件： Matlab；C2e2；GitHub… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）
RareMaxima公司 1份文件引用(2018) 软件作者： 安徒生、拉尔斯·诺旺；Patrick J.Laub。；莱昂纳多·罗哈斯·南达亚帕 相关软件： GitHub；量化风险管理 主要字段： 统计学（62-XX）；数值分析（65-XX）
空间填充模型表面体积 1份文件引用(2018) 软件作者： F.Cazals、T.Dreyfus、S.Loroit 相关软件： SBL；Intersurf公司 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SwarmLab公司 在0个文档中引用 软件作者： Enrica Soria、Fabrizio Schiano、Dario Floreano 相关软件： GAZEBO；ARGoS；AirSim… 主要字段： –
CorrMixed公司 在0个文档中引用 软件作者： Wim Van der Elst、Geert Molenberghs、Dieter Hilgers、Nicole Heussen 相关软件： – 主要字段： –
克鲁斯卡尔 在0个文档中引用 软件作者： 马克西米利安·哈斯贝克（Maximilian P.L.Haslbeck）。；彼得·兰米奇（Peter Lammich）；朱利安·班德拉 相关软件： – 主要字段： –