ISSAC 1990:日本东京
渡边顺郎 , Morio Nagata先生 :
符号和代数计算国际研讨会论文集,ISSAC’90,日本东京,1990年8月20日至24日。 ACM公司 1990 ,国际标准图书编号 0-201-54892-5 卡尔·阿贝勒 :
函数字段中的范式。 1-7 诺伯特·库恩 , 克劳斯·马德勒 , 弗里德里希·奥托 :
某些前缀改写系统的lambda-Confluence测试及其在广义单词问题中的应用。 8-15 玛尔塔·弗兰诺娃 :
PRECOMAS是一种构造性匹配方法的实现。 16-23 多梅尼科·坎通纳 , 文森佐·库特罗 :
关系基本理论的一个可判定片断和一些应用。 24-29 马提亚斯·巴兹 , 亚历山大·莱奇 :
一种基于函数介绍的强问题约简方法。 30-37 兹比格尼乌·斯塔奇尼亚克 :
具有弱转换规则的分辨率证明系统。 38-43 山崎素木 :
作为替代操纵器的逻辑程序的数据流。 44-51 尼尔·V·穆雷 , 埃里克·罗森塔尔 :
重新检查Tableau方法的不可逆性。 52-59 理查德·法特曼 :
代数操作系统设计与构建的进展与趋势。 60-67 亚历山大·莱蒂切夫斯基 , 朱莉娅·卡皮托诺娃 :
APS系统中的代数编程。 68-75 约翰·菲奇 :
REDUCE的输送系统。 76-81 朱利安·帕吉特 , A.巴恩斯 :
REDUCE中的单变量幂级数展开。 82-87 Y.多利赫 , 保罗·S·王 :
SUI:用于集成科学计算环境的独立于系统的用户界面。 88-95 布鲁斯·查尔 :
通用并行符号代数计算系统的进展报告。 96-103 迪马·格里戈里耶夫 :
如何在亚指数时间内测试半代数集中的曲线是否可以连接两点。 104-105 Kioshi Shirayanagi先生 :
关于有限维二项代数的同构问题。 106-111 K.盖特曼 :
对称多项式方程组的符号解。 112-119 布巴内斯瓦·米什拉 , 保罗·彼得森 :
实数代数算术是NC语言。 120-126 横山和弘 , Masayuki Noro公司 , 竹岛Taku Takeshima :
关于多项式可解性的判定。 127-134 埃里希·卡尔托芬 , 雅加蒂·N·拉克希曼 , J.-M.威利 :
模有理稀疏多元多项式插值。 135-139 约阿希姆·冯·祖尔·盖森 :
具有大图像的有限域上的多项式。 140-144 保罗·S·王 :
共享内存多处理器上的并行单变量多项式分解。 145-151 Nobuki Takayama公司 :
Gröbner基础,积分和超越函数。 152-156 格雷戈里·费伊 :
利用拉马努扬公式计算加泰罗尼亚常数。 157-160 吉恩·库珀曼 , 拉里·芬克尔斯坦 , N.萨拉瓦基 :
置换群的随机基变化算法。 161-168 理查德·里斯卡 , L.Drsda博士 :
FIDE:用于求解pDE的FInite差分法自动化的REDUCE包。 169-176 S.I.Mazurik公司 , 叶夫根尼·沃罗日佐夫 :
差分格式稳定性分析中的符号-数值计算。 177-184 维克托·甘扎 , Mikhail Yu。 沙什科夫 :
用REDUCE系统研究差分算子的局部逼近。 185-192 K.Okubo(大久保) :
常微分方程和公式操作的整体理论。 193-200 A.C.诺曼 :
一种基于关键对/完成的集成算法。 201-205 Nobuki Takayama公司 :
构造模积分的一种算法——Gröbner基的无限维模拟。 206-211 维克托·阿达姆奇克 , O.I.马里切夫 :
超几何型函数积分的计算算法及其在REDUCE系统中的实现。 212-224 迪马·格里戈里耶夫 :
线性常微分方程组不可约性检验的复杂性。 225-230 陈国廷 :
计算不规则奇点邻域中微分系统形式解的算法。 231-235 费利克斯·乌尔默 , 雅克·卡尔梅特 :
齐次线性微分方程的Liouvillian解。 236-243 Mitsuhiko Kohno公司 :
微分方程理论中的约化问题。 244-249 弗拉基米尔·普·格特 , A.余。 扎尔科夫 :
多项式非线性演化系统必要可积条件的计算机生成。 250-254 尚庆周(Shang-Ching Chou) :
使用特征集方法和Gröbner基方法的几何自动推理。 255-260 Hoon Hong公司 :
圆柱代数分解中投影算子的改进。 261-264 尚庆周 , 小山高 :
机械几何公式推导方法。 265-270 迪内什·马诺查 :
规则曲线和正确参数化。 271-276 迪帕克·卡普尔 , 香港湾 :
通过特征集计算对几何定理进行反驳证明。 277-284 Ferroudj Cherief公司 :
等式定义函数并行解释的代数模型(摘要)。 285 罗伯特·格莱克 , 瓦伦丁·F·土琴 :
元系统转换在函数反演和转换中的应用。 286-287 穆尼拉·贝尔梅斯克 :
逻辑程序中利用与或并行性的执行模型(摘要)。 288 菲利普·科多涅 :
方程,微分方程和不可解子集(摘要)。 289 C.福雷 :
元简化器。 290 S.V.科利亚达 :
布尔代数中的符号计算系统。 291 特雷弗·J·斯梅德利 :
检测未嵌套根之间的代数依赖性(摘要)。 292-293 达里奥·比尼 , 维克多·Y·潘 :
递归过程的并行多项式计算。 294 迈克尔·卡尔克布伦纳 :
用原多项式余数序列求解二元代数方程组。 295 罗素·J·布拉德福德 :
Buchberger算法的并行化。 296 横山和弘 , Masayuki Noro公司 , 竹岛Taku Takeshima :
代数闭域上多变量多项式的因子分解(摘要)。 297 胡安·洛夫特 , J.拉斐尔·森德拉 :
实根数计算的模块化方法。 298 弗拉基米尔·普·格特 , N.V.Khutornoy公司 , A.余。 扎尔科夫 :
求解作为多项式非线性发展方程的必要可积条件的代数系统。 299 刘卓军 :
一种求多项式系统所有孤立零点的算法。 300 维克托·甘扎 , 谢尔盖·梅利什科 , V.P.Shelest公司 :
REDUCE系统在体育用品系统一致性分析中的应用。 301 托尼·斯科特 , 格雷戈里·费伊 :
枫树符号计算在科学和工程问题中的一些应用。 302-303 野田佳彦 , E.宫城县 :
关于符号/数字混合集成。 304 谭海清(H.Q.Tan) , X.董 :
工程应用中符号方程求解器的优化技术。 305 Q.-S.陶 :
插值和求积公式的符号和代数处理。 306 陈国廷 , I.吉尔 :
一种算法在Macsyma中的实现:在正则奇点邻域中计算微分系统的形式解。 307