会议论文《连续傅里叶变换基础理论的高阶逻辑形式化》发表于2014年湖北省计算机学会学术年会。该文基于高阶逻辑对连续傅里叶变换的基本理论进行了形式化建模，旨在提高数学理论的可验证性和可靠性。研究通过计算机辅助证明工具实现了理论的严格定义与推导，为后续相关领域的形式化验证提供了基础支持。
文档为pdf格式，0.44MB，总共6页。
举报
