数学与形式化证明

学习 AI 数学推理、定理证明与 Lean 形式化,适合数学和形式化方法爱好者。

15 条精选 · 入门 3 · 按推荐学习顺序:越基础、直观越靠前,越系统、深入越靠后

在 3D 图中查看
  1. 12深入
    书籍发布 10-27
    doi.org

    金融中的签名方法

    Signature Methods in Finance

    DOAB 收录的开放获取图书,作者为 Christian Bayer、Goncalo dos Reis、Blanka Horvath、Harald Oberhauser,Springer Nature 出版,出版年份 2026,DOI 为 10.1007/978-3-031-97239-3,可免费合法阅读。简介称本书为路径签名方法这一快速发展领域提供入门指引,面向早期职业研究者和量化分析师、应用研究者等具备量化背景的从业者,涵盖近期进展并含编码示例;主题包括路径签名方法、机器学习、数学金融建模,以及交易、模型校准和统计金融中的示例。信源不提供版次。

多模态与领域探索的其他细分主题