一种计算机代数系统的设计与实现  

Design and Implementation of a Computer Algebra System

作　　者：汪明 WANG Ming(Department of R&D,Kongzhi Technology(Xuzhou)Co,Ltd,Xuzhou Jiangsu 221118,China)

机构地区：[1]孔智科技(徐州)有限公司研发部,江苏徐州221118

出　　处：《河北软件职业技术学院学报》2023年第4期27-32,共6页Journal of Hebei Software Institute

摘　　要：为利用计算机对数学表达式进行自动推理,实现自主可控的计算机代数系统,提出了基于抽象语法树模式匹配的计算机代数系统设计方法。在对计算机代数系统设计过程进行认知与分解的基础上建立了总体设计模型,并利用F#强大的函数式编程语言能力,快速实现解析器和表达式模式匹配,从而提高开发效率。通过设计一个可实现表达式化简、展开、求导、极限、泰勒级数和积分等功能的计算机代数系统,验证了该设计的准确性和有效性。syntax tree pattern matching is proposed.Based on the recognition and decomposition of the design process of computer algebra systems,an overall design model was established.With the powerful functional programming language ability of F#,the parser and expression pattern matching can be quickly realized,thus improving the development efficiency.The accuracy and effectiveness of the design are verified by designing a computer algebra system that can realize the functions of expression simplification,expansion,derivation,limit,Taylor series and integration.

关 键 词：计算机代数系统 符号计算 特定领域语言 解析器 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]