符号计算杂志,第38卷,2004
第38卷第1期,2004年7月
亚瑟·D·切切巴 , 迪帕克·卡普尔 :
使用Dixon公式构造Sylvester型结果矩阵。 777-814 李永斌 :
弱非退化条件理论在多项式系统零分解中的应用。 815-832 克劳斯·菲克 :
最小化数字字段上的表示。 833-842 克里斯蒂娜·布兰科 , 加布里埃拉·杰罗尼莫 , 巴勃罗·索莱诺 :
计算光滑仿射代数簇的理想生成器。 843-872 克劳德·马奇 , 泽维尔·乌尔班 :
交流终止的模块化和增量证明。 873-897 王东明 :
隐式有理曲线和曲面的简单方法。 899-914
第38卷第2期,2004年8月
亚瑟·D·切切巴 , 迪帕克·卡普尔 :
使用Dixon公式生成的非混合二元多项式系统的结果。 915-958 杰苏斯·德洛拉 , 戴维·霍斯 , 雷蒙德·亨梅克 , 彼得·哈金斯 , 伯恩德·斯图尔姆费尔斯 , 吉田鲁里科 :
复曲面代数的短有理函数及其应用。 959-973 安妮·弗雷德特 :
指数扩展的线性微分方程。 975-1002 Lenwood S.Heath公司 , 尼古拉斯·洛尔 :
有限域上生成Conway多项式的新算法。 1003-1024 玛丽亚·杰苏斯·皮萨巴罗 :
计算单项式曲线并的格理想。 1025-1042
第38卷第3期,2004年9月
托马斯·克鲁佐 , 马克·范·霍伊 :
计算线性微分算子指数解的模块化算法。 1043-1076 格雷厄姆·埃利斯 :
计算组分辨率。 1077-1118 海宝段 , 赵宣 , 赵雪芝 :
Cartan矩阵和枚举演算。 1119-1144 克莱门斯·休伯格 , 阿兰·多哥 , 沃尔克·齐格勒 :
图厄方程族的自动求解和一个8度的例子。 1145-1163 谢尔盖·阿布拉莫夫 , 马尔科·佩特科夫塞克 :
“有理范式和超几何项的最小分解”勘误表[J.符号计算33(2002)521-543]。 1165
第38卷第4期,2004年10月
阿杰·科恩 , 小山高 , Nobuki Takayama公司 :
编辑。 1167-1168 马西莫·卡瓦拉 , 马丁·克鲁泽 , 洛伦佐·罗比亚诺 :
高效计算最小关键对集。 1169-1190 安妮·福吕比斯·克鲁格 :
部分标准基作为研究奇点族的工具。 1191-1205 马蒂亚斯·舒尔泽 :
Brieskorn晶格的范式算法。 1207-1225 Masayuki Noro公司 , 横山和弘 :
小有限域上多项式理想素分解的实现。 1227-1246 迈克尔·乔斯维格 , Günter M.Ziegler先生 :
凸壳、甲骨和同源。 1247-1259 福田康美 :
从分区构造到凸多面体的Minkowski加法。 1261-1272 杰苏斯·德洛拉 , 雷蒙德·亨梅克 , 耶利米亚·陶泽尔 , 吉田鲁里科 :
有理凸多面体中的有效格点计数。 1273-1302 谢尔盖·阿布拉莫夫 , 雅克·卡雷特 , 基思·O·格迪斯 , 哈奇勒 :
《枫叶》中象征性总结的背景下的望远镜。 1303-1326
第38卷第5期,2004年11月
勒图恩·霍 , 埃罗·海瑞 :
初始理想的Castelnuovo-Mumford正则性。 1327-1341 托姆·穆德斯 :
经认证的稀疏线性系统求解。 1343-1373 马可·波扎诺 , 乔治·德尔扎诺 :
密码协议线性逻辑规范的保密属性的自动验证。 1375-1415 阿诺德·博丹 :
无穷大时米诺数和临界值的计算。 1417-1427 夏维埃·弗朗索瓦·罗布洛 :
数字域上的多项式因式分解算法。 1429-1443 约翰·坎农 , 贝蒂娜·艾克 , 查尔斯·R·利德姆·格林 :
有限可解群的特殊多环生成序列。 1445-1460
第38卷第6期,2004年12月
高树红 , 埃里希·卡尔托芬 , 艾伦·G·B·兰黛 :
有限域上多项式的行列式判别因式分解。 1461-1470 彼得·基申霍夫 , Jörg M.Thuswaldner先生 :
虚二次域Shanks三次扩张中的小范数元素。 1471-1486 里卡德·博瓦德 , 托马斯·迈耶尔 :
在算法上检查希尔伯特级数是否来自完全交集。 1487-1506 乔治·E·柯林斯 :
单因素系数界限。 1507-1521 尼科莱塔·比拉 , 吉泽·尼森 :
关于寻找非经典对称性的一种新方法。 1523-1533 安东·莱金 :
Stafford两个定理的算法证明。 1535-1550 伊丽莎白·福图纳 , 帕特里齐亚·贾尼 , 多梅尼科·卢米纳提 :
实代数曲面拓扑的算法确定。 1551-1567