数学

数学理论与方法:符号计算、优化、形式化验证与 AI 辅助推导

导出微分几何中移位Poisson结构与形变量子化概述

本文为综述性概述,旨在将导出代数几何中的若干近期结果翻译到导出微分几何框架,方向为理论框架的迁移与整理,属证据支持程度较低的综述性陈述。 研究设计为理论综述与框架梳理,材料未报告样本量、干预与对照、随访时长等要素,亦未报告系统检索策略或纳入排除标准。

部分扩展b-度量空间及其若干不动点定理

结论方向:作者提出部分扩展b-度量空间(PEBMS)这一新结构,并在此框架下给出压缩映射的不动点存在性与唯一性定理;该结论属数学理论推演,材料未报告任何数值效应量或统计检验,故不涉及“显著”与否的判断。 研究设计与做法:属纯理论数学研究,非实验或临床设计;材料未报告样本量、干预与

POD降阶模型中BDF-q时间积分的收敛性分析

结论:在半线性反应扩散模型的POD降阶模型中,采用BDF-q(1≤q≤5)作时间积分器可达到时间方向q阶最优收敛率,该结论为数值分析层面的理论证明,属证据支持。 研究设计与做法:属数值分析类理论研究,针对半线性反应扩散模型问题,快照集由原问题的有限元近似在不同时刻计算得到,有限元