Gonum：Go 语言的数值计算库集合
Gonum 是一组用 Go 编写的数值库，提供矩阵、统计、优化、图等计算能力，为 Go 生态中的科学计算与数据分析提供基础组件。
Hamming立方体临界指数附近的尖锐等周不等式
该文研究Hamming立方体在临界指数附近的尖锐等周不等式问题。 由Durcik、Ivanisvili与Roos完成，发表于Advances in Mathematics第503卷C部分。
分布鲁棒多阶段凸优化：非连续对偶动态规划算法与复杂度
针对分布鲁棒多阶段凸优化（DR-MCO）问题，本文提出非连续对偶动态规划（NDDP）算法，作者报告其可将子问题复杂度对阶段数的依赖由二次降为线性，属于算法与复杂度分析层面的理论证据支持。 研究为算法设计与复杂度分析类工作，材料未报告具体样本量、数据集规模或数值实验设置；做法是提出
McKean-Vlasov PDE的线性化反馈镇定
结论：作者提出并证明，基于线性化动力学的Riccati反馈律可在环面上实现McKean-Vlasov PDE的局部指数镇定，并可按选定收敛速率加速收敛；该结论为数学证明加数值验证，属理论性证据。 设计与做法：研究为理论分析与数值实验结合。在加权零均值空间中重写受控PDE，经基态变
部分扩展b-度量空间及其若干不动点定理
结论方向：作者提出部分扩展b-度量空间（PEBMS）这一新结构，并在此框架下给出压缩映射的不动点存在性与唯一性定理；该结论属数学理论推演，材料未报告任何数值效应量或统计检验，故不涉及“显著”与否的判断。 研究设计与做法：属纯理论数学研究，非实验或临床设计；材料未报告样本量、干预与
高维约束优化的随机子空间梯度法：迭代复杂度与步长分析
结论方向：作者提出面向高维约束优化问题的随机子空间梯度方法，并在线性与非线性设定下给出最坏情况迭代复杂度，理论上提示其可较确定性对应方法采用更大步长；该结论为理论推导结果，材料未报告数值实验验证。 研究设计与做法：属方法学与理论分析类工作，非人体或动物实验；做法为将梯度向量投影到
不同差构型的区间容量与二阶界
本预印本用带边界常数2/3的带符号区间容量证书，为声呐序列、弱Sidon集及相关不同差构型给出显式二阶上界；结论方向为收紧上界，属数学证明而非实验证据，档位为「证据支持」（在所述条件下）。 研究为纯数学证明型工作：以带符号区间容量证书为核心工具，保留Cauchy–Schwarz不
基于Delaunay加权的高维数据两样本检验
结论：作者提出基于Delaunay权重的非参数两样本检验统计量，在模拟数据中显示对未知流形学习具稳健性，且当分布差异体现在方向信息时检验效能提升较明显；该结论属方法学层面的证据支持。 设计与做法：方法学研究，提出用Delaunay三角剖分构造Delaunay权重以刻画数据点几何邻
多源大数据测量活动空间隔离：物理—数字框架与模拟验证
提出区分共在、数字暴露与数字互动的物理—数字活动空间框架，将物理与数字隔离作为独立成分而非强行合成。 研究分设验证环节：以华盛顿—巴尔的摩公开Foursquare签到子集检验离散群体共访统计量的计算可行性与稳健性。
平面图与外平面图B着色的界
针对平面图与外平面图，研究B着色所需颜色数的上界问题。 摘要仅给出期刊卷期与作者信息，未提供方法、样本或结果细节。
经典0-1背包问题的快速求解方法综述
该综述以理论视角梳理经典0-1背包问题的主要快速求解方法及其适用条件。 围绕弱NP难问题，分析精确算法如何利用数值参数、线性松弛、支配关系等结构特征。
随机系数椭圆偏微分方程的多层核近似方法
结论：作者提出多层核近似方法，用于高效求解带周期随机系数的椭圆偏微分方程，在保持给定精度ε的同时降低计算成本；该结论基于理论误差分析与数值实验，属方法学层面的证据支持。 设计与做法：本研究为数值数学方法学研究，包含完整正则性理论与误差分析，并开展数值实验，将多层近似与单层近似进行
Generalized Analytic Function Classes Using an Extended Two-Factor q-Differential Operator: Fekete–Szegő Problem
In this paper, we introduce an extended two-factor q-differential multiplier operator denoted by ℳq,,n,mf(z). Using this operator, we define
数学家证明图三明治猜想
一项数十年悬而未决的猜想获得证明，为理解复杂网络提供新途径。 属资讯报道，未给出证明细节、所用方法或验证方式。
Closure Compiler：JavaScript 检查与优化编译器
Google 开源的 JavaScript 编译器，通过解析、分析与重写代码来检查语法、变量引用和类型，并删除死代码、压缩体积，使脚本下载和运行更快。
完全有向超图中的紧路径研究
该文围绕完全有向超图中紧路径问题展开理论探讨。 研究采用组合数学与图论方法，对完全有向超图的结构性质进行分析。
BayesianOptimization：基于高斯过程的全局优化工具
一个纯 Python 实现的贝叶斯全局优化库，用高斯过程拟合目标函数，在尽量少的迭代次数内寻找未知函数的最大值，适合高成本函数优化。
POD降阶模型中BDF-q时间积分的收敛性分析
结论：在半线性反应扩散模型的POD降阶模型中，采用BDF-q（1≤q≤5）作时间积分器可达到时间方向q阶最优收敛率，该结论为数值分析层面的理论证明，属证据支持。 研究设计与做法：属数值分析类理论研究，针对半线性反应扩散模型问题，快照集由原问题的有限元近似在不同时刻计算得到，有限元
数学方向雷达 · 2026-W40｜二分刻画、尖锐界收紧、参数显式化
数学方向雷达：判定型二分刻画、临界指数尖锐界收紧、降阶模型收敛率显式化。本期15条语料中试验与临床前均为0，数学方向的提问方式集中在“能否二分刻画”“界能否收紧”这类判定与定量问题。
数学方向雷达 · 2026-W38｜超图二分、等周尖锐界、预条件参数放宽
数学方向雷达：临界指数处的尖锐界收紧、超图可满足性的二分刻画、预条件收敛条件的参数显式化。本期语料没有一条试验或临床前研究，数学方向的提问方式集中在“结构能否二分刻画”“界能否收紧”这类判定与定量问题。
