符号计算杂志,第21卷,1996年
第21卷第1期,1996年1月
郑仁浩 , 芝麻坑 :
习惯接近替补队员。 1-14 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
比较Curried和Uncurried Rewriting。 15-39 彼得·帕达维茨 :
设计规范的归纳定理证明。 41-99 马克·索夫罗尼乌 :
有序星和线性稳定性理论。 101-131
第21卷第2期,1996年2月
大卫·卡斯珀森 , 大卫·福特 , 约翰·麦凯 :
理想分解和子域。 J.塞姆。 计算。 21 ( 2 ) : 133-137 ( 1996 ) 林·米勒 :
环上多项式环中Gröbner基的类比。 139-153 弗兰兹·鲍尔 , 桑德罗·赞佩里 :
广义项序的Gröbner基及其在建模问题中的应用。 155-168 阿洛伊修斯·赫尔敏克 :
计算G/H上的B轨道。 169-209 弗兰兹·巴德 , 克劳斯·舒尔茨 :
不相交等式理论联合中的统一:联合决策程序。 211-243 内斯托尔·桑切斯 :
多尺度方法:非线性振动问题的渐近解和正规形式。 245-252
第21卷第3期,1996年3月
克劳德·马奇 :
规范化重写:重写方程组模的替代方法。 253-288 贝内代托·因特里吉拉 , 玛丽莎·文丘里尼·齐利 :
关于无限匹配与无限统一的注记。 289-292 朱塞佩·阿塔迪 , 蒂托·弗拉盖拉 :
PoSSo解算器中的内存管理。 293-311 乔治·E·柯林斯 , 马克·恩卡纳西翁 :
改进的单变量多项式因子分解技术。 313-327 乔治·J·菲克斯 , 徐志平(Chih-Ping Hsu) , 铁罗 :
有理参数曲面的隐式化。 329-336 弗拉基米尔·普·格特 , 弗拉基米尔·柯尼亚克 :
有限表示李代数和超代数的构造。 337-349 格雷戈·坎佩尔 :
计算任意域上有限群的不变环。 351-366 奈杰尔·斯马特 :
用单位方程求解判别形式方程。 367-374
第21卷第4期,1996年4月/5月/6月
Hirokazu Murao先生 , 富士通(Tetsuro Fujise) :
稀疏多元多项式插值的模块化算法及其并行实现。 377-396 保罗·S·王 :
SMP上的并行多项式运算:概述。 397-410 朱塞佩·阿塔迪 , 卡洛·特拉弗索 :
Strategy-Accurate并行Buchberger算法。 411-425 Stéphane Dalmas酒店 , 马克·加塔诺 , 阿兰香肠 :
计算机代数的分布式协同环境。 427-439
沃纳·克兰迪克 , 都铎王朝时期 :
双向精确整数除法。 441-455 肯尼思·韦伯 :
加速整数GCD算法的并行实现。 457-466 乔瓦尼·塞萨里 , 罗曼·梅德尔 :
分布式存储体系结构中并行Karatsuba乘法算法的性能分析。 467-473
莱因哈德·邦根 , 曼弗雷德·戈贝尔 , 沃尔夫冈·库奇林 :
符合策略的多线程期限完成。 475-505 玛丽亚·保拉·博纳西纳 :
关于分布定理证明中证明的重构:一种改进的克劳斯扩散方法。 507-522 约格·登津格 , 斯蒂芬·舒尔茨 :
记录和分析基于知识的分布式演绎过程。 523-541 张汉涛 , 玛丽亚·保拉·博纳西纳 , Jieh Xiang先生 :
PSATO:分布式命题证明器及其在拟群问题中的应用。 543-560
乔纳森·M·D·希尔 , 基思·M·克拉克 , 理查德·博纳特 :
并行化强制函数程序:矢量化单子函数。 561-576 卡蒂娅·格拉迪茨 , 赫伯特·库欣 :
Gamma-Operation的共享内存实现。 577-591 沃尔夫冈·施莱纳 :
并行计算机代数软件包的一种准功能编程接口。 593-614 安吉拉·C·索丹 :
映射树结构符号处理程序的半自动多策略方法。 615-634
Jean-Marc安德烈奥利 , 乌韦·M·博格霍夫 , 雷莫·帕雷斯基 :
基于约束的知识代理模型:语义、实现和分析。 635-667 Koenraad De Bosschere公司 , Jean-Marie Jacquet女士 :
使用本地和条件黑板操作扩展µ日志框架。 669-697 Ho-fung Leung先生 , 基思·克拉克 :
分布式并发逻辑程序设计中的约束满足。 699-714 佩德罗·洛佩斯·加西亚 , 曼纽尔·埃尔梅内吉尔多 , 索米亚·德布雷 :
逻辑程序中基于粒度的并行控制方法。 715-734