文献类型：期刊文章

作　　者：衷仁保[1] 谢果然[1] 黄晓龙[1]

机构地区：[1]江西工业大学计算机科学技术系

出　　处：《计算机学报》

基　　金：国家自然科学基金

年　　份：1990

卷　　号：13

期　　号：5

起止页码：357-366

语　　种：中文

收录情况：BDHX、BDHX1992、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

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

关 键 词：计算机代数 符号演算  CASCA语言  

分 类 号：TP312CA]