145 篇论文
本文开发了一种用于成瘾动力学的创新四室流行病学模型，该模型论证了治疗能力饱和而非发病率饱和如何独特地驱动了后向分岔和双稳态，从而产生了一个关键的政策差距，即基本再生数无法捕捉即使在传统阈值以下也存在的长期持续风险。
本文建立了一个无坐标系的李导数判据，用于研究在连通流形上具有相同内部动力学的纤维丛截面的同步问题，证明了截面差的李导数为零意味着流等变微分同构，且该过程无需拉普拉斯算子对角化或驱动-响应设置。
本文通过将具有严格凸因子的多球中心处的全纯收缩刻画为双全纯等价于单个因子或其乘积的线性收缩，这一结果通过证明它们不能双全纯等价于具有不同因子数量或维度的其他乘积域，从而确立了其乘积表示的本质唯一性。
本文提出了一种针对 2026 年国际足联世界杯淘汰赛对阵表的改进分配方法，该方法将第三名晋级球队的分配视为一个有容量限制的双向匹配问题，以确保来自同一小组的两支球队在半决赛之前不会相遇，从而通过解决官方赛程在 495 种情形中 70 种情况下均无法满足该条件的缺陷，来提升公平性和赛事吸引力。
本文通过将 AI 解释形式化为逆问题，建立了一个用于确定 AI 解释可恢复性的数学框架，推导出了线性与非线性系统下可辨识性与稳定性的完整三分法，并提供了能够区分内在欠定性与算法变异性的显式界限。
本研究引入了一种通过切比雪夫多项式多步配点法推导出的稳健且精确的后向单步块混合数值方法，用于有效求解刚性振荡二阶初值问题。
本文引入了一种带有情绪因子的正则化三维Caputo分数阶复制子系统，该系统解决了原点处固有的奇异性问题，建立了全局利普希茨连续性，并通过霍普夫分岔和混沌认证对从稳定性到混沌的完整动力学演变进行了解析表征，且所有结论均通过与未正则化模型及经验行为数据的对比得到了验证。
本文提出了一个用于有限维量子基础的层级化 Lean 4 库，该库在形式化关键表示定理和复杂度结果的同时，引入了一个类型化前提审计框架，用以验证条件数学定理（例如子空间权重与正交分解的独立性）的相干性与有效性。
本文提出了一种经过认证的、无种子间隔算法，该算法通过在双参数化方案中隔离四次方程的根，严谨地计算点到椭圆的欧几里得距离，确保了即使在病态情形下也不依赖启发式种子即可实现保证的包络界限。
本文研究并支持了这样一个假设：吉安·洛伦佐·贝尼尼是通过修改两个主要“生成圆”的半径来设计圣彼得广场上的三个椭圆的，这一方法与该广场的实际尺寸以及历史上对“椭圆圆盘”（ovato tondo）的使用相一致。