Apr, 2024

第 12 届国际定理证明组件教育软件研讨会论文集

PDF
TL;DR该研究论文通过探索定理证明技术在 STEM 教育中的软件支持，以实现从中学的直观数学方式到更正式学科的平滑过渡，并促进计算机科学家、数学家和教育者之间的相互理解。
thedu seriestheorem-proving technologiesstem educationtheorem proving components for educational softwarecomputer scientists
发现论文，激发创造
  • 第 11 届定理证明教育软件组件国际研讨会

    本文介绍了 ThEdu 系列以及本卷在 STEM 教育中应用定理证明技术的自动演绎和应用于教育软件的方法和工具在教育方面的应用。

    Mar, 2023

  • 第十届定理证明组件教育软件国际研讨会论文集

    ThEdu'21 workshop proceedings focused on promoting a more formal approach to mathematics in STEM education through software support using theorem-proving technologies.

    Feb, 2022

  • ACL2 定理证明器及其应用国际研讨会第十七届会议论文集

    该论文集收录了 ACL2 定理证明器及其应用方面的研究和经验，讨论 ACL2 定理证明器在技术论坛和应用方面的作用。

    May, 2022

  • ACL2 定理证明器及其应用国际研讨会第十三届会议论文集

    该论文介绍了一个自动化推理系统 ACL2 定理证明器，其应用包括计算系统规范和验证，形式验证等，Boyer-Moore 家族的成员在 ACL2 Theorem Prover 研究和发展中做出重要贡献。

    Sep, 2015

  • 基于规则的定理证明器：中学证明入门

    介绍了在中学引入自动推理系统面临的几个瓶颈，讨论了一个基于推理规则和自动方法的实现并使用其进行几何猜想的证明，旨在介绍几何定理的形式证明，以激发学生的兴趣。

    Mar, 2023

  • 第 14 届国际自动几何推理会议论文集

    ADG 是一个关于几何和自动推理交叉领域的论坛，每两年举办一次，为交流思想、展示研究成果和进展，以及展示软件工具提供了平台，2023 年的 ADG 会议在塞尔维亚贝尔格莱德举办，并且特别关注于教育中的推理问题。

    Jan, 2024

  • 第五届自主系统形式化方法国际研讨会论文集

    这篇研究论文总结了第五届自主系统形式方法国际研讨会的会议情况和论文接收结果，展示了该会议作为自主系统的形式建模和验证研究领域的知名出版场所的发展趋势。

    Nov, 2023

  • 开放几何证明社区项目

    本文描述了 Open Geometry Prover Community Project 的目标和实施步骤，旨在将不同自动几何定理证明工具的开发整合到一个共同的 “伞下”，以丰富人们的数学体验。

    Jan, 2022

  • 基于向量语义的端到端组合模型

    研讨会 “基于向量语义的端到端组合模型” 是第 33 届欧洲逻辑、语言和信息夏季学校（ESSLLI 2022）的一部分，由荷兰研究委员会资助，包含了两个部分，第一部分报告了研究项目的结果，第二部分则由相关的贡献论文构成。

    Aug, 2022

  • 第 39 届国际逻辑编程会议论文集

    这篇研究论文总结了第 39 届国际逻辑编程会议（ICLP 2023）在英国伦敦帝国理工学院于 2023 年 7 月 9 日至 7 月 15 日举行的技术交流。涵盖了主会场、博士生学术研讨会、应用与系统 / 演示研讨会、最近发布研究研讨会、一起探讨研讨会、逻辑编程与机器学习、逻辑编程与可解释性、伦理和可信度研究等领域。

    Aug, 2023