ACM SIGSAM公告,第8卷
第8卷第1期,1974年2月
J.丹比赫·斯塔基 :
解决江的问题#6。 2-3 斯蒂芬·约翰逊 , 罗纳德·格雷厄姆 :
问题#7。 4 J.A.van Hulzen先生 :
今天的FORMAC,或者孤儿会发生什么。 5-7 大卫巴顿 , 约翰·菲奇 :
剑桥的代数运算。 8-9 Knut A.Bahr公司 :
修订FORMAC。 10-16
第8卷第2期,1974年5月
亚瑟·D·霍尔三世 , 斯蒂芬·C·约翰逊 :
SIGSAM问题#6的ALTRAN程序。 12-36 理查德·法特曼 , 莫西斯 , 王保罗 :
使用MACSYMA解决问题#7。 14-16 乔治·E·柯林斯 , 大卫·R·穆瑟 , 迈克尔·罗斯斯坦 :
问题7的SAC-1解决方案。 17-19 理查德·詹克斯 :
SCRATCHPAD语言。 20-30 贾普·斯密特 :
NETFORM简介。 31-36
第8卷第3期,1974年8月
Yngve Sundblad公司 :
符号数学系统现在和未来。 1-8 吕迪格·G·K·卢斯 :
计算机代数的形式化实现。 9-16 克努特·巴尔 , 贾普·斯密特 :
通过测量调整代数操作系统。 17-23 尼赛·赫斯伯格 , Jouko J.Seppänen :
分析:语言的主要特征及其实现。 24-25 W.S.布朗 :
关于使用因子有理表达式进行计算。 26-34 安德鲁·德·霍尔(Andrew D.Hall Jr.)。 :
ALTRAN中的因式有理表达式。 35-45 阿方索·米奥拉 , 大卫Y.Y.Yun :
Hensel型单变量多项式最大公约数算法的计算方面。 46-54 H.斯特鲁布 :
介绍SCHOONSCHIP系统。 55-60 W.Morven先生 :
具有截断幂级数的经验。 61-62 斯蒂芬·约翰逊 :
稀疏多项式算法。 63-71 多萝西娅·A·克利普 :
便携式代数系统PORT-ALG中的不同多项式表示及其相互作用。 72-73 雅克·卡尔梅特 :
费曼图中发散点的计算机识别。 74-75 英格·弗里克 :
涉及自旋3/2的有限旋转矩阵的多个乘积之和的非数值计算。 76-77 H.伊恩·科恩 :
广义相对论中的摄动计算。 78-79 乔治·E·柯林斯 :
通过柱面代数分解消除实闭域的量词。 80-90 丹尼斯·威克斯 :
代数数的形式表示。 91-95 皮埃尔·韦巴滕 :
纯递归关系的自动构造。 96-98 爱德华·W.Ng :
一类代数函数的符号积分。 99-102 阿方索·米奥拉 :
符号计算在用Ritz-Galerkin方法求解自由边界问题中的应用。 103-104 莫西斯 :
基督教青年会-第五年。 105-110
第8卷第4期,1974年11月
约翰·菲奇 :
问题#8:随机行走。 11 詹姆斯·格里斯默 , 理查德·D·詹克斯 :
问题#4的解决方案:谎言转换。 12-13 约翰·菲奇 :
使用CAMAL解决问题#3。 14-25 约翰·菲奇 :
求整数n次方根的简单方法。 26 大卫Y.Y.Yun :
带余数的p-adic除法算法。 27-32