符号计算杂志,第39卷,2005年
第39卷第1期,2005年1月
亚历山大·赫尔普克 :
构造传递置换群。 1-30 约翰·阿伯特 , 马丁·克鲁泽 , 洛伦佐·罗比亚诺 :
计算零维格式。 31-49 汉斯·克里斯蒂安·格拉夫·冯·博思默 , 科尔德·埃尔登伯格 , 凯瑟琳·路德维希 :
P4中一个新的有理曲面族。 51-60 穆罕默德·卡胡伊 :
gap子结果品种的双数性状。 61-71 威廉·阿德金斯 , J.威廉·霍夫曼 , 王浩浩 :
基于syzygies的带基点参数曲面方程。 73-101 马蒂亚斯·舒尔泽 :
驯服多项式的良好基础。 103-126
第39卷第2期,2005年2月
露丝·L·奥尔巴赫 :
格里布纳球迷和格里布纳步行模块。 127-153 威廉·Y·C·陈 , 清湖侯 , 延平牧 :
Zeilberger算法的q-类似物的适用性。 155-170 马库斯·罗森克兰兹 :
在算子水平上求解线性两点边值问题的一种新的符号方法。 171-199 穆罕默德·穆罕默德 , 多伦·齐尔伯格 :
Zeilberger和q-Zeilberger算法输出的递归次数的尖锐上界。 201-207 玛丽亚·保拉·博纳西纳 :
走向理论证明中搜索的统一模型:子目标约简策略。 209-255
第39卷,第3-4期,2005年3月-4月
阿尔杰·M·科恩 , 格特·马丁·格雷尔 , 玛丽·弗朗索瓦斯·罗伊 :
前言。 257-258 卡洛斯·达安德里亚 , 加布里埃拉·杰罗尼莫 :
次结果和一般单项式基。 259-277 简·德雷斯马 :
开放Bruhat细胞的表征理论。 279-303 伊丽莎白·福图纳 , 帕特里齐亚·贾尼 , 巴里·M·特拉格 :
多项式理想的不可约分解。 305-316 劳伦特·巴塞 , 安德烈·加里戈 :
曲面的半隐式表示、结果和应用。 317-329 路易斯·戴维·加西亚·普恩特 , 迈克尔·尤金·斯蒂尔曼 , 伯恩德·斯图尔姆费尔斯 :
贝叶斯网络的代数几何。 331-355 危害德克森 , 伊曼纽尔·詹德尔 , 帕斯卡·科伊兰 :
量子自动机和代数群。 357-371 大卫·赫姆 , 埃兹拉·米勒 :
半群环上分次内射分解和局部上同调的算法。 373-395 伯纳德·穆兰 :
贝佐提和商环结构。 397-415 米歇尔·格兰杰 , Toshinori Oaku公司 , Nobuki Takayama公司 :
齐次微分算子的切线锥算法。 417-431 乔里斯·范德霍温 :
有效的分析函数。 433-449 马里乌斯·范德普特 :
线性微分方程的伽罗瓦理论和算法。 451-463 奥兰多市市长U。 :
关于建设性设计。 465-491 乌利·沃尔特 :
R的算法分层 高阶模 C上正则代数(M,N)-模的D n个 . 493-499
第39卷第5期,2005年5月
奥尔加·卡普洛蒂 , 沃尔克·索尔格 :
自动推理和计算机代数系统的集成。 501-502 亚历山德罗·阿尔曼多 , 克莱门斯·巴拉林 :
通过约束上下文重写重构和扩展Maple的假设功能。 503-521 迈克尔·比森 , 弗里克·维迪克 :
微积分和计算机代数系统中无穷大的含义。 523-538 汉内·戈特利布森 , 汤姆·凯尔西 , 乌苏拉·马丁 :
计算数学的隐藏验证。 539-567 大卫·德拉哈耶 , 米凯拉·梅耶罗 :
使用Maple处理Coq中字段上的代数表达式。 569-592 西蒙·科尔顿 :
使用HR、Otter和Maple在数论中进行自动猜测。 593-615
第39卷第6期,2005年6月
迈克尔·波赫斯特 :
全局域上的因子分解多项式I。 617-630 赵宣 , 红竹高 , 苏晓乐 :
单连通四流形之间映射的同伦分类。 631-642 伊万·达姆加德 , 古德蒙德·斯科夫布杰尔·弗兰德森 :
Eisenstein整数环中gcd和立方剩余的有效算法。 643-652 克里斯托弗·希拉尔 :
循环结果。 653-669 瓦希德·达巴基安·阿卜多利 :
一种构造有限群表示的算法。 671-688 陈法来(Falai Chen) , 大卫·A·考克斯 , 杨柳 :
有理参数曲面的多基化和隐式化。 689-706 亨利·隆巴迪 , 伊森·延吉 :
Suslin的单模行约简算法。 707-717 胡安·杰拉尔多·阿尔卡扎尔 , J.拉斐尔·森德拉 :
实代数空间曲线的拓扑计算。 719-744