SuperAPI AI 工具集

foundations-of-computational-mathematics

写作与研究

查看项目

更新于 10-15 20:08

技能介绍

用途:该技能用于期刊适配判断、选刊与论文重定位,针对计算数学基础(Foundations of Computational Mathematics,FoCM,Springer 出版)。它帮助作者判断一篇以严格数学基础为核心、位于数学与计算交界处的手稿是否适合该刊,或应在 FoCM 与 SIAM Review、Journal of the ACM 等之间如何选择。

适用时机:作者以 FoCM 为目标,结果建立了某计算方法或问题的严格数学基础;手稿证明数值、优化或几何/拓扑计算的收敛性、误差、复杂度或稳定性理论;论文以理论为先,放在偏重实证结果的期刊会被低估;作者需要在投入前了解 FoCM 对完整严格性、写作与投稿规范的要求。

主题范围:带严格理论的数值分析(微分方程、线性代数、逼近的收敛、误差界与稳定性);逼近论、采样与基于信息的复杂度(最优速率、下界、恢复的数学);优化理论(连续与凸/非凸优化的收敛与复杂度,带严格保证);实数/代数与连续情形下的计算复杂度及连续结构上的算法分析;计算几何与拓扑(持续同调、拓扑数据分析及可证明基础的几何计算);学习、信号恢复与数据分析的数学基础,且贡献在于定理与界。

方法与证据标准:结果须完整且完全证明,定理需在明确假设下严格建立,无缺口,不以实验证据替代证明;须有基础性意义,不是更快的实现;证明须可被审稿人完整核验,常数、速率与假设须精确陈述,引理需证明或精确引用;数值实验仅用于说明或启发理论;MSC 分类须准确,arXiv 发布是常规且受鼓励,计算机辅助证明需有文档;无数据/代码存储规范,但提供代码受欢迎;须精确说明相对已知速率/界的改进。

结构与体例:摘要、说明结果与意义的引言、预备与设定、定理与证明主体、可选示例实验、参考文献;引言须精确陈述主要定理并对照已有工作定位速率/界;写作须严格清晰;长论证可模块化为引理与命题,技术估计可放附录;LaTeX 为预期格式,具体遵循期刊当前样式。

投稿前须重新核对官方现行说明:投稿流程、文件格式与 LaTeX 要求、编辑处理惯例、MSC 分类要求、写作与篇幅及数值实验定位、作者身份与利益冲突及 AI 使用披露、arXiv/预印本政策与计算机辅助证明文档。若官方说明与本技能冲突,以官方为准。

限制:该技能不替代期刊当前官方投稿指南或编委判断,可能因实证或应用型贡献、证明不完整、仅有增量改进、意义夸大或写作混乱而被退稿;非适配时可考虑改投 SIAM Review、Journal of the ACM、SIAM Journal on Computing、Acta Mathematica 或 SIAM 应用类期刊。输出格式包含适配度、目标期刊、主题标签、方法/证据、最大风险、需复核的官方事项与改投建议。具体收费与价格信息暂未提供。