计算机代数与符号演算语言CASC

计算机代数与符号演算语言CASC是一种高级程序设计语言,它可用于编制推演数学公式的程序。它是我们设计并用PASCAL在IBM-PC/XT上实现的。CASC还是一个数学专家系统,可解四十多类数学问题。本文阐述了CASC语言、并研究了公式推演语言的特点。阐述了自由变量和受束变量、表达式的原形、原值和当前值等概念,并研究了它们在实现自动公式推演中所起的关键作用。CASC的运行方式有会话式和批量式两种。

符号计算语言CASC数学表达式核心化简系统

数学表达式的化简是符号计算系统的基础,又是一项很困难的工作。本文提出了一个基于“复杂关系”概念的化简方法,并用Turbo Pascal在微型机上实现,建造了符号计算语言CASC数学表达式化简系统的核心化简系统。

符号积分被积函数识别的一种新方法——因子特征数识别法

本文在分析已有符号积分被积函数识别的方法后,提出一种新的更有效的识别的方法——被积函数因子特征数识别法。

高级语言中越级返回的实现

本文通过分析Turbo Pascal5.5的过程调用与返回机制,提出并实现了在TurboPasacl5.5语言的程序中越级返回的方法。该方法的原理可用于实现其他高级语言的越级返回。