发布于 3 天前
摘要
阿木博主一句话概括：基于Scheme语言的数学证明辅助语言构建探讨 阿木博主为你简单介绍： 随着计算机科学的发展，数学证明辅助语言在数学研究和教育领域发挥着越来越重要的作用。本文以Scheme语言为基础，探讨构建数