符号计算杂志,1996年第22卷
第22卷第1期,1996年7月
亚历山大·奇斯托夫 以下为:
零特征代数簇维数的多项式时间计算。 1-25 F.利昂·普里查德 以下为:
非交换多项式环中的理想隶属度问题。 27-48 玛丽贝尔·费尔南德斯 以下为:
AC补码问题:可满足性和否定消除。 49-82 劳雷亚诺·冈萨雷斯-维加 以下为:
量词消去法在Birkhoff插值问题中的应用。 83-103 斯里尼瓦斯·图马拉科塔 , Junghsen Lieh公司 以下为:
结构系统的符号有限元建模。 105-119
第22卷第2期,1996年8月
乌韦·埃格利 以下为:
从不同的保留结构翻译到正常形式。 121-142 马西莫·马尔奇奥里 以下为:
重写中规范形式的模块性。 143-154 罗伯特·克雷曼斯 , 弗里德里希·奥托 以下为:
对于群,具有有限导数类型的性质等价于同调有限性条件FP_3。 155-177 费利克斯·乌尔默 , 雅克·亚瑟·韦尔 以下为:
关于科瓦西奇算法的注释。 179-200 R.T.柯蒂斯 , Z.哈桑 以下为:
Janko群J_1元素的对称表示。 201-214 弗朗西斯·布肯霍特 , 迪米特里·利曼斯 以下为:
关于度<=50的有限本原置换群的列表。 215-225 迪特尔·阿申瓦尔德 , 托马斯·西格尔 , 罗伯特·F·蒂希 以下为:
MAPinsure-人寿保险的MAPLE套餐。 227-234
第22卷第3期,1996年9月
德克斯特·科赞 , 苏珊·兰多 , 理查德·齐佩尔 以下为:
代数函数的分解。 235-246 下山武 , 横山和弘 以下为:
多项式理想的局部化和初等分解。 247-277 乔迪·利维 , Jaume Agustí-库勒 以下为:
Bi-Rewrite系统。 279-314 曼弗雷德·施密特·沙乌 以下为:
单面分布和乘法单位理论中统一性的判定。 315-344 Jun Zhang(张军) 以下为:
微分方程复多项式解的符号计算。 345-354
第22卷第4期,1996年10月
卡洛·特拉弗索 以下为:
Hilbert函数和Buchberger算法。 355-376 维克多·Y·潘 以下为:
计算x^m模p(x)及其在将多项式分解为固定圆盘上的因子中的应用。 377-380 布鲁诺·萨利尼尔 , 罗伯特·斯特兰德 以下为:
带构造函数系统的前向分支系统的高效仿真。 381-399 钱振宇 , 王康(音译) 以下为:
模高阶方程预统一。 401-424 伊斯特万·加尔 , 迈克尔·波赫斯特 以下为:
关于具有虚二次子域的六边形域中指数形式方程的解。 425-434 玛丽安·姆罗泽克 以下为:
通过符号计算对数值算法进行严格的误差分析。 435-458 布拉姆·德贾格尔 , 布拉姆·范·阿施 以下为:
一类偏微分方程的符号解。 459-468
第22卷,第5/6号,1996年11月/12月
维杰·萨拉斯瓦特 , 拉德哈·贾加迪桑 , 维尼特·古普塔 以下为:
定时默认并发约束编程。 475-520 卡洛斯·卡莱罗 , 冈特·萨克 , Amílcar Sernadas公司 以下为:
从时序逻辑规范中推导生命目标。 521-553 托姆·W·福吕维思 以下为:
时间注释约束逻辑编程。 555-583 莫辛·艾哈迈德 , G.文卡特什 以下为:
密集时间逻辑编程。 585-613 乔里·恩格弗里特 , 扬·特雷尔 以下为:
非单调推理的可执行时序逻辑。 615-625 迈克尔·菲希尔 以下为:
并发元的时间语义。 627-648 Jean-Raymond Gagné , 约翰·普莱斯 以下为:
非标准时态演绎数据库系统。 649-664 埃德贾德·莫塔 , 大卫·斯图亚特·罗伯逊 , 阿兰·斯梅尔 以下为:
自然时间:生态系统模拟中的时间粒度。 665-698 刘楚昌 , 梅赫迈特·奥尔根(Mehmet A.Orgun) 以下为:
时序逻辑编程中时间的多重粒度处理。 699-720 梅赫迈特·奥尔根(Mehmet A.Orgun) , 安东尼·福斯蒂尼 以下为:
可执行时序逻辑系统。 J.塞姆。 计算。 22 ( 5/6 ) 以下为: 721-735 ( 1996 )