符号计算杂志,第18卷,1994年
第18卷第1期,1994年7月
希拉里·普里斯特利 , 马丁·P·沃德 :
多用途回溯算法。 1-40 皮耶朗基罗·米利奥利 , 乌戈·莫斯卡托 , 马里奥·奥尔纳吉 :
由经典和构造逻辑方法定义的抽象参数类和抽象数据类型。 41-81 伊沃·丁施 :
基于微机的小关系代数系统。 83-86 克雷格·R·奥尔 , 多伦·齐尔伯格 :
离散Dirichlet问题的计算机代数方法。 87-90
第18卷第2期,1994年8月
罗伯特·克雷曼斯 , 弗里德里希·奥托 :
有限导数类型意味着同调有限性条件FP_3。 91-112 赫莱内·基什内尔 , 克里斯托夫·林盖森 :
在代数域上组合符号约束解算器。 113-155 山崎素木 , 肯塔罗·伊达 :
基于数据流的逻辑程序到FP程序的转换。 157-182
第18卷第3期,1994年9月
维克多·Y·潘 :
简单多元多项式乘法。 183-186 王向东 :
S_k(Gamma_1(N))上的Hecke算子。 187-198 克劳斯·梅尔 :
实数计算:关于信息的使用。 199-206 Hiroyuki Sawada先生 , Satoshi Terasaki先生 , 阿基拉·艾巴 :
Gröbner的并行计算基于分布式存储机器。 207-222 Toshinori Oaku公司 , 下山武 :
微分算子环上模的Gröbner基方法。 223-248 王东明 :
关于索引变量的不定和的微分和积分-一些规则和应用。 249-263 马克·索夫罗尼欧 :
Runge-Kutta方法的符号推导。 265-296
第18卷第4期,1994年10月
丹尼斯·卢吉兹 , J.L.莫塞特 :
树自动机帮助人们求解交流理论中的等式公式。 297-318 艾琳·杜兰德 :
有界、强序列和前向分支项重写系统。 319-352 马克·范·霍伊 :
计算代数函数域中积分基的算法。 353-363 迈克尔·卡尔克布伦纳 :
多项式环中根的素分解。 365-372 弗雷娅·赫里恩多蒂尔 :
选择产品订单可以更快地计算Groebner基数的案例。 373-378 莫里斯·米尼奥特 , 菲利普·格莱瑟 :
通过哈达玛的朗道不等式。 379-383 费利克斯·乌尔默 :
素数阶不可约线性微分方程。 385-401
第18卷第5期,1994年11月
山本奥萨米 :
关于赋范多项式零点的一些界。 403-427 多米尼克·杜瓦尔 :
代数数:动态评估的一个例子。 429-445 阿卜杜拉·阿西 :
关于一般投影的平坦性。 447-462 安德烈亚斯·魏尔曼 :
Kruskal定理某些有限形式的复杂性边界。 463-488 Krzysztof R.Apt公司 , 彼得·范·埃姆德·博阿斯 , 安吉洛·威林 :
STO问题是NP-Hard。 489-495
第18卷第6期,1994年12月
布·巴基 , Deh Cac罐 , 朱莉娅·埃克斯 , 西奥·莫里亚蒂 , R.F.Ree公司 :
为什么你甚至不能希望在公钥密码中使用Gröbner Bases:给一位失败的科学家的公开信,以及对那些尚未失败的科学家们的挑战。 497-501 马永浩 :
关于由一般矩阵定义的未成年人。 503-518 明德·A·黄 , 道格·伊拉迪 :
Riemann-Roch问题和曲线雅可比加法的有效算法。 519-539 艾丽斯·尼迈耶 :
有限可解商算法。 541-561 约翰·佩德森 , 玛格丽特·尤德 :
共轭问题和辫子群的术语重写。 563-572 卢卡·杰米尼亚尼 :
求解整数上的Hankel系统。 573-584 埃里克·巴赫 :
张量积与可计算性。 585-593
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)