一种计算机代数系统的设计与实现 |
| |
引用本文: | 汪明.一种计算机代数系统的设计与实现[J].河北软件职业技术学院学报,2023(4):27-32. |
| |
作者姓名: | 汪明 |
| |
摘 要: | 为利用计算机对数学表达式进行自动推理,实现自主可控的计算机代数系统,提出了基于抽象语法树模式匹配的计算机代数系统设计方法。在对计算机代数系统设计过程进行认知与分解的基础上建立了总体设计模型,并利用F#强大的函数式编程语言能力,快速实现解析器和表达式模式匹配,从而提高开发效率。通过设计一个可实现表达式化简、展开、求导、极限、泰勒级数和积分等功能的计算机代数系统,验证了该设计的准确性和有效性。
|
关 键 词: | 计算机代数系统 符号计算 特定领域语言 解析器 |
|
|