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

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