计算机代数中的ACM通信,第42卷
第42卷,编号1-2,2008年3月/6月
迈克尔·P·巴内特 :
符号计算中的推理。 1-17
乔治·E·安德鲁斯 , 彼得·鲍尔 :
MacMahon分区分析的进一步发展(仅摘要)。 18 劳拉·普德威尔 :
如何巧妙地计算避免模式的单词(仅限于抽象)。 18 马尔科·佩特科夫塞克 :
求解楔形中的多元线性递归(仅抽象)。 18-19 卡斯滕·施耐德 :
不同字段中的多重求和(仅抽象)。 19 威廉·Y·C·陈 , 欧内斯特·X·W·夏 :
无限和的q-WZ方法(仅抽象)。 19 萨拉·C·比利 , 斯蒂芬·米切尔 :
仿射彩色分区(仅抽象)。 19 多伦·齐尔伯格 , Thotsaporn“Aek”Thanatipanonda公司 :
组合博弈论中计算机生成的猜想(!)和证明(!!)(仅抽象)。 19-20 Thotsaporn“Aek”Thanatipanonda公司 :
组合博弈论(II)中计算机生成的猜想(!)和证明(!!)(仅抽象)。 20 Mikael Vejdemo Johansson :
枚举Haskell中的Saneblidze-Umble对角线(仅摘要)。 20 尼古拉斯·蒂埃里 :
实现代数组合数学MuPAD-Combinate开发的一些反馈(仅摘要)。 20
安娜·罗梅罗·伊瓦涅斯·伊瓦涅斯 :
同系词efectiva和sucesiones espectrales(仅摘要)。 21 西尔瓦娜·伊利 :
微分代数方程初值问题数值解的计算复杂性(仅摘要)。 21-22 Elias P.Tsigaridas公司 :
代数计算和几何应用(仅抽象)。 22 -
纪念Eugeny Pankratiev:莫斯科国立大学力学与数学学院,俄罗斯莫斯科。 23-26 马克·吉斯布雷希特 :
ACM 2007 Kanellakis奖-Bruno Buchberger数学自动化工具创新者荣誉奖。 37-38 大卫乔伊纳 :
开源计算机代数系统:Axiom。 39-47
安德鲁·阿诺德 , 迈克尔·莫纳根 :
计算真正大的分圆多项式(仅抽象)。 48-49 凯文·多尔肯 :
具有分裂Jacobian的亏格2曲线(仅抽象)。 49-50 安德烈·杜杰拉 :
Wiener对RSA攻击的变体,具有小秘密指数。 50-51 弗雷德里克·埃杜库 :
计算埃尔米特曲面上点的二维分布(仅抽象)。 52-53 诺姆·D·埃尔基斯 :
通过K3曲面具有多个有理点的亏格2曲线(仅抽象)。 53-55 费利克斯·丰泰因 :
二级单位基础设施摘要(仅摘要)。 55-56 史蒂文·加尔布雷斯 , 拉明德·S·鲁普雷 :
计算非超椭圆亏格4和5曲线的L-多项式(仅摘要)。 56-57 约书亚·霍尔顿 , 内森·林德 :
离散对数映射的统计分析(仅摘要)。 57-59 Sonal Jain公司 :
椭圆表面的最小高度和调节器(仅摘要)。 59-61 艾哈迈德·拉瓦桑尼 , 雷扎·穆罕默德 :
针对ECC2K-130证书挑战实施可行的攻击(仅抽象)。 61-62 西迪·穆罕默德·塞德杰尔马奇 :
计算整数最大公约数的直线程序(仅抽象)。 62-64 安田正也 :
定义在Q上的椭圆曲线上的离散对数问题(仅抽象)。 64-66
萨利赫·阿尔索姆拉尼 , 王保罗 :
DMAS:基于web的分布式数学评估系统(仅摘要)。 67-68 阿明·本基兰 :
Brouwer不动点定理(仅抽象)。 68-69 布兰登·布尔克哈特 :
人口动态模型(仅抽象)。 69 埃琳娜·迪米特洛娃 , 布兰迪林·斯蒂格勒 , 阿卜杜勒·萨拉姆·贾拉 , 莱因哈德·劳本巴赫 :
gröbner fan在基因网络重建中的应用(仅摘要)。 69 卡罗琳·埃伯索尔 :
传染病的种群生物学(仅摘要)。 70 高树红 , 朱明福 :
单项式理想不可约分解的增量算法(仅抽象)。 70 奥斯曼·古兹德 , 肯尼思·梅 , 詹姆斯·盖兹 , 亚当·埃奇森 :
用于更好的P2P功能的新代数设计(仅抽象)。 70-71 岩米町 :
对改进的代数表面公钥密码系统的攻击(仅限于摘要)。 71-74 乔什·琼斯 :
RSA算法(仅抽象)。 74 大卫乔伊纳 , 罗伯特·米勒 :
SAGE和编码理论(仅摘要)。 74-78 迈克尔·凯尔西 :
取消斐波那契数列(仅摘要)。 78 荀来 , 保罗·S·王 :
GeometryEditor:基于web的交互式几何操作创作系统(仅抽象)。 78-79 罗伯特·刘易斯 :
比较dixon和macaulay结果的加速技术(仅摘要)。 79-81 李冬梅 , 刘金旺 , 高树红 :
多项式合成下的w-gröbner基和单项式理想(仅抽象)。 81-82 约翰·P·梅 , 马克·吉斯布雷希特 , 丹尼尔·罗氏 , 马克·莫雷诺·马扎 , 谢玉珍 :
多项式系统求解的自动变量顺序选择(仅抽象)。 83 罗伯特·W·麦格雷 , 玛丽·沙拉克 :
三色作为一种纠正措施(仅摘要)。 83-85 安德鲁·诺沃辛 :
在有理数上分解一元多项式(仅抽象)。 85 马修普林斯 :
使用抽象代数的导数概念(仅抽象)。 85-86 罗伯特·奎因 , Hoon Hong公司 :
半代数集合中的连通性(仅抽象)。 86 肖恩·莱利 :
折纸和数学(仅抽象)。 86 丹尼尔·罗氏 , 马克·吉斯布雷希特 :
检测多项式完美幂(仅抽象)。 87 魏素 , 川菜 , 保罗·S·王 , 连丽 :
在线输入和编辑数学公式的解决方案(仅限于摘要)。 87-88 王明生 , 刘金旺 :
n-D多项式矩阵的因式分解问题(仅抽象)。 88-89 斯蒂芬·瓦特 :
关于多元laurent多项式的函数分解(仅抽象)。 89-90 兰德尔·沃尔夫 :
可分性测试(仅摘要)。 90 乔治·尤哈斯 , 埃里希·卡尔托芬 :
计算整数矩阵序列的最小生成元(仅抽象)。 91 迪安·泽勒 :
编程课程简介,包括数学、艺术和创造性写作(仅摘要)。 91 Wei Zhou公司 :
高效的订单基础计算(仅限摘要)。 91
-
(仅摘要)。 92-102
第42卷第3期,2008年9月
Benno Fuchssteiner公司 :
符号项矩阵的改进高斯算法。 108-121
长坂小坂 :
整数上的近似多项式GCD。 124-126 Tateaki Sasaki公司 , 稻叶大驹 :
多元代数函数级数展开式的收敛域。 127-128 霍华德·程 , 乔治·拉巴恩 , Wei Zhou公司 :
计算拉格朗日基多项式LCM和GCD。 129-130 托马斯·沃尔夫 :
关于求解离散微分几何中出现的大型多项式方程组。 131-134 布鲁诺·巴赫伯格 , 乔治·雷根斯堡 , 马库斯·罗森克兰兹 , Loredana Tec公司 :
TH 9 OREM 8函子的一般多项式约简:积分微分算子和多项式的应用。 135-137 马西莫·卡瓦拉 , 法布里奇奥·卡鲁索 :
饱和零维二项式理想的gröbner基上的群作用。 138-139 井上修太郎 , Kohei Mukaida公司 , 铃木章 , 佐藤义介 :
含参数剩余类环中逆的计算。 140-141 伊万·莫雷尔 , 达米恩·斯泰莱 , 吉尔斯·维拉德 :
从LLL减少到另一个。 142-143 菅野雅明 , 横山和弘 , 阿奈Hirokazu :
使用根之和求解代数riccati方程。 144-145 林·约哈内斯·斯特凡努斯 :
De Boor-Fix对偶泛函用于多项式基到卷积基的转换。 146-148 小山高 , 黄振宇 :
有限域上方程求解的特征集方法。 149-150 纪尧姆·切兹 , 穆罕默德·埃尔卡迪 , 安德烈·加里戈 , 马丁·魏曼 :
二阶二元多项式的绝对因子分解。 151-153 安妮·A·M·库伊特 , 李文欣 :
基于商微分算法的稀疏多元多项式插值。 154-155 Mhenni M.Benghorbal先生 :
幂逆双曲类1的任意阶符号导数和反导数的统一公式。 156 安迪·诺沃辛 , 马克·范·霍伊 :
在有理数上分解一元多项式。 157 森谷水一 , 奇萨托·阿莱 :
用Gröbner基证明几何定理:使用理想分解。 158-159 Ioannis Z.埃米利斯 , 伯纳德·穆兰 , Elias P.Tsigaridas公司 :
计算介于两者之间的有理数。 160-161 陈昌波 , 李丽云 , 马克·莫雷诺·马扎 , 韦潘(Wei Pan) , 谢玉珍 :
关于可构造集的表示。 162-163 李子明 , 马丁·昂德拉 , 王怀富 :
简化斜分式模微分和差分关系。 164-165 安德烈·班什奇科夫 :
用计算机代数工具分析大尺寸机械系统的动力学。 166 凯利·罗奇 :
用量子计算机代数系统求解积分。 167-168 阿尔贝托·阿里 :
修订了F5标准。 169-170
辛莉(Xin Li) , 马克·莫雷诺·马扎 , 拉奎布·拉希德 , 埃里克·肖斯特 :
modpn库:将快速多项式算法引入MAPLE。 172-174 滨田达辅 , 等。 :
KNOPPIX/Math:一个使用计算机享受数学乐趣的实时系统。 175-176 曾忠刚 :
ApaTools:近似多项式代数的软件工具箱。 177-179 格特·马丁·格雷尔 , 格哈德·普菲斯特 , 汉斯·舍尼曼 :
SINGULAR:用于多项式计算的计算机代数系统。 180-181 陈昌波 , 马克·莫雷诺·马扎 , 弗朗索瓦·莱梅尔 , 韦潘(Wei Pan) , 李丽云 , 谢玉珍 :
Maple中RegularChains库的ConstructableSetTools和ParametricSystemTools模块。 182-184 弗里茨·施瓦兹 :
网络中的所有类型。 185-187
第42卷第4期,2008年12月
伊曼纽尔·斯佩纳 :
关于麦考利的一个组合定理及其在多项式理想理论中的应用。 192-201
朱利亚诺·卡萨莱 :
精确线性代数在容量规划模型中的应用。 202-205 大卫·R·斯托特迈尔 :
多元部分分数展开。 206-210