• 学术搜索
  • 科研智能体
    • Research Labs
    • AI 阅读
    • AI 文库
    • 深度研究
    • 学者亮点
  • 学术资源
    • AI2000
    • 期刊/会议
    • 学者库
    • 学术API
      MCP&Skill
    • 溯源树
    • 数据集
  • 知识沉淀
    • 学术空间
订阅小程序
旧版功能
aminer vip
开通会员低至0.73元/天
一次搞定AI科研
立即登录
  • English
    • 联系方式
    Interactive Theorem Proving

    Interactive Theorem Proving

    Conference

    年发文量

    研究主题

    论文（686）

    排序
    1Formalizing the Bruck-Ryser-Chowla Theorem: Combinatorial Design Theory in Lean.
    Eric Jonathan Wang, Elif Üsküplü
    2026
    引用
    AI阅读
    加入学术空间
    2Verification of the Garsia-Wachs Algorithm.
    Makoto Kanazawa
    2026
    引用
    AI阅读
    加入学术空间
    3Certified Infinite Descent Criteria in Isabelle/HOL.
    Jamie Wright,Liron Cohen,Reuben N. S. Rowe,Andrei Popescu
    2026
    引用
    AI阅读
    加入学术空间
    4Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL.
    Fang Yan, Benoît Ballenghien,Simon Foster,Ana Cavalcanti, James Baxter,Burkhart Wolff
    2026
    引用
    AI阅读
    加入学术空间
    5Completing Almost Fair Simulations.
    Arthur Correnson, Iona Kuhn,Bernd Finkbeiner
    2026
    引用
    AI阅读
    加入学术空间
    立即登录，查看全部 686 篇论文

    高被引作者

    作者引用发文
    Cyril Cohen66210
    Assia Mahboubi62010
    Enrico Tassi5976
    Jasmin Blanchette57511
    Laurent Théry5635
    Jeremy Avigad5219
    Georges Gonthier5164
    Tobias Nipkow48915
    Andrea Asperti4782
    Yves Bertot4702

    高产作者

    作者引用发文
    Magnus Myreen33617
    Cezary Kaliszyk27415
    Tobias Nipkow48915
    Peter Lammich38814
    Andreas Lochbihler29213
    Michael Norrish9613
    Josef Urban31212
    Jasmin Blanchette57511
    Assia Mahboubi62010
    Cyril Cohen66210

    相关期刊

    European Joint Conferences on Theory And Practice of Software
    Tools and Algorithms for Construction and Analysis of Systems
    International Conference on Verification, Model Checking and Abstract Interpretation
    European Symposium on Programming
    International Symposium on Functional and Logic Programming
    International Colloquium on Theoretical Aspects of Computing
    Asian Symposium on Programming Languages and Systems
    Automated Technology for Verification and Analysis
    Principles and Practice of Declarative Programming
    Certified Programs and Proofs