符号计算杂志,2011年第46卷
第46卷第1期,2011年1月
乔恩·威尔肯宁 , 贾瑜 :
矩阵多项式Smith范式的局部构造。 1-22 桑德拉·迪·洛科 , 大卫·埃克隆德 , 克里斯彼得森 , 安德鲁·桑梅斯 :
基于同伦延拓和交集理论的光滑变分的Chern数。 23-33 亚历山德拉·伯纳迪 , 亚历山德罗·吉米利亚诺 , 莫妮卡·伊达 :
计算对称张量的对称秩。 34-53 Paraskevas Alvanos公司 , 迪米特里奥斯·波拉基斯 :
求解数域上亏格零丢番图方程。 54-69 库尔特·梅尔霍恩 , 迈克尔·萨格拉洛夫 :
一种确定性算法,用于分离实多项式的实根。 70-90 索尼娅·卢埃达 , J.拉斐尔·森德拉 :
《线性完全微分结果和线性DPPE的隐含化》的勘误表[J.Symbolic Comput.45(3)March(2010)324-341]。 91-92
第46卷第2期,2011年2月
黛米斯·巴利斯 , Temur Kutsia公司 :
前言。 93-94 格雷戈里·马莱查 , 格雷格·莫里塞特 , 瑞恩·威斯内斯基 :
使用I/O对命令式程序进行基于跟踪的验证。 95-118 费德里科·班蒂 , 罗萨里奥·普格利泽 , 弗朗西斯科·蒂齐 :
UML服务模型的可访问验证环境。 119-149 泽夫·赫梅尔 , 丹尼·格罗尼韦根(Danny M.Groenewegen) , Lennart C.L.Kats公司 , 埃尔科·维瑟 :
使用WebDSL对web应用程序进行静态一致性检查。 150-182 克里斯蒂安·施恩伯格 , 弗兰兹·魏特尔 , Burkhard Freitag公司 :
验证基于web的技术文档的一致性。 183-206 马里诺·利纳杰·特里古罗斯 , 阿道夫·洛扎诺·特洛 , 米盖尔·安杰尔·佩雷斯·托莱达诺 , 胡安·卡洛斯·普雷西亚多 , 罗伯托·罗德里格斯-埃切弗里亚 , 费尔南多·桑切斯·菲格罗亚 :
为RIA用户界面提供可访问性属性。 207-217
第46卷第3期,2011年3月
Jochen Pfalzgraf公司 , 哈特穆特·埃里格 , 乌尔里克·戈拉斯 , 托马斯·索波尔 :
前言。 219-221 保罗·巴尔丹 , 菲利波·邦奇 , 安德烈亚·科拉迪尼 , 托比亚斯·海因德尔 , 芭芭拉·科尼格 :
粘合剂类别的格理论观点。 222-245 本杰明·布拉茨 , 乌尔里克·戈拉斯 , 托马斯·索波尔 :
如何彻底删除-两个推出补语结构。 246-271 Jean-Guillaume Dumas女士 , 多米尼克·杜瓦尔 , Jean-Claude雷诺 :
笛卡尔效应类别是Freyd-categories。 272-293 费尔南多·奥雷贾斯 :
属性图约束的符号图。 294-315 克里斯托夫·舒尔茨 , 迈克尔·洛韦 , 哈拉尔德·科尼格 :
面向对象系统转换的分类框架:模型和数据。 316-337
第46卷第4期,2011年4月
乔里斯·范德霍芬 :
转换系列的元扩展。 339-359 格雷厄姆·埃利斯 , 保罗·史密斯 :
计算Lyndon-Hochschild-Serre谱序列的群上同调环。 360-370 斯科特·默里 , 科尔瓦·罗尼·杜格尔 :
经典群的构造同态。 371-384 玛丽·弗朗索瓦斯·罗伊 , Aviva Szpirglas公司 :
西尔维斯特的双和和及其子结果。 385-395 安妮克·瓦利布兹 :
交替电流变理想的Gröbner基。 396-405 Jean-Charles Faugère女士 , 穆罕默德·萨弗里·埃尔丁 , 皮埃尔·让·斯潘勒豪尔 :
由二次多项式生成的双齐次理想的Gröbner基(1,1):算法和复杂性。 406-437 威廉·德格拉夫 :
θ-群幂零轨道的计算代表。 438-458 Jean-Charles Faugère女士 , 叶亮 :
单参数Gröbner基的人工不连续性。 459-466 迈克尔·赫默 , 劳伦特·杜邦 , 西尔万·佩蒂让 , 埃尔马尔·舍默 :
计算二次曲面排列的边邻接图的完整、准确和高效的实现。 467-494
第46卷第5期,2011年5月
伊丽莎白·阿诺德 , 伊利亚斯·科齐里亚斯 , 马库斯·罗森克兰兹 :
布鲁诺·巴赫伯格和格里布纳基地世界。 495-497 安娜·玛丽亚·比加蒂 , 马西莫·卡瓦拉 , 洛伦佐·罗比亚诺 :
计算非均匀Gröbner基。 498-510 维科特·布兰科 , Justo港 :
求解多目标多项式整数规划的一些代数方法。 511-533 马西莫·卡瓦拉 , 法布里奇奥·卡鲁索 , 卡洛·特拉弗索 :
格子Polly Cracker密码系统。 534-549 安妮·福吕比斯·克鲁格 :
修正系数适用于严格变换。 550-560 格特·马丁·格鲁埃尔 , 弗兰克·塞利什 , 奥利弗·维南德 :
消失多项式理想的Gröbner基。 561-570 铁雄艾达 , 阿斯姆·卡塞姆 , 法杜拉·古拉比 , Hidekazu高桥 :
重温莫利定理:折纸构造和自动证明。 571-583 K.Kalorkoti公司 :
模态微积分和泛型解中的模型检查。 584-594 维克托·列万多夫斯基 , 克里斯蒂娜·辛德勒 :
使用Gröbner基计算矩阵的对角形式和Jacobson正规形式。 595-608 阿古斯汀·马塞洛 , 彼得·申泽尔 :
小维非Cohen-Manaulay唯一因子分解域。 609-621 佐藤义介 , 井上修太郎 , 铃木章 , Katsusuke Nabeshima公司 , 酒井先生 :
布尔Gröbner基。 622-632
第46卷第6期,2011年6月
穆雷·A·巴卡图 , 托马斯·克鲁佐 , 卡罗尔·埃尔·巴哈 :
高阶线性微分系统的简单形式及其在计算正则解中的应用。 633-658 尼古拉·比拉 :
关于求任意函数微分方程广义等价变换的一种新方法。 659-671 纳泽兰·伊德里斯 , 格哈德·普菲斯特 , 斯特凡·斯特德尔 :
模块化算法的并行化。 672-684 乔纳森·赫拉斯 , 维科·帕斯夸尔 , 朱利奥·鲁比奥 , 弗朗西斯·谢尔盖拉特 :
fKenzo:代数拓扑计算的用户界面。 685-698 Khodabakhsh Hessami Pilehrood公司 , 塔蒂亚娜·赫萨米·皮勒鲁德 :
Bailey-Borwein-Bradley身份的q模拟。 699-711 丹尼尔·普劳曼 , 伯恩德·斯图尔姆费尔斯 , 辛西娅·文赞特 :
四次曲线及其双切线。 712-733
第46卷第7期,2011年7月
马克·吉斯布雷希特 , 斯蒂芬·瓦特 :
为纪念基思·格迪斯60岁生日。 735-740 大卫·H·贝利 , 乔纳森·博文 :
高精度数值积分:进展与挑战。 741-754 Danko Adrovic公司 , 简·维舍尔 :
Maple中的热带代数几何:一种为具有近似系数的多元多项式寻找公共因子的预处理算法。 755-772 吉尔斯·维拉德 :
用于矩阵伴随计算的Kaltfen无除法行列式算法。 773-790 丹尼尔·罗氏 :
块状等距多项式乘法。 791-806 迈克尔·莫纳根 , 罗曼·皮尔斯 :
使用堆进行稀疏多项式除法。 807-822 让-纪尧姆·大仲马 , 劳伦特·福斯 , 布鲁诺·萨尔维 :
同时对小的有限域进行模约简和Kronecker替换。 823-840 辛莉(Xin Li) , 马克·莫雷诺·马扎 , 拉奎布·拉希德 , 埃里克·肖斯特 :
modpn库:将快速多项式算法引入Maple。 841-858 大卫·R·斯托特迈尔 :
良好的默认表达式简化的十条戒律。 859-887
第46卷第8期,2011年8月
瓦尔德马尔·希比施 , 马丁·鲁比 :
延长速率,增加GFUN。 889-903 Ting Zhao(赵婷) , 王东明 , Hoon Hong公司 :
无约束或有约束三次方程的解公式。 904-918 Ioannis Z.埃米利斯 , 克里斯托斯·科纳西斯 :
广义非混合稀疏结果的单叶Macaulay型公式。 919-942 沃特·卡斯特里克 , 弗雷德里克·韦考特伦 :
椭圆曲线的环面形式及其算法。 943-966 路易斯·菲利佩·塔贝拉 :
有理曲线的最优仿射重参数化。 967-976
第46卷第9期,2011年9月
索尼娅·卢埃达 :
线性DPPE的基于扰动微分结果的隐式算法。 977-996 马霍布·兰加 , 穆罕默德·梅杰里 , 卡梅勒·阿迪 :
在并发系统上正式实施安全策略。 997-1016 阿尔贝托·阿里 , 约翰·佩里 :
修订了F5标准。 1017-1029 J.拉斐尔·森德拉 , 大卫·塞维利亚 :
代数曲线的伴随曲线的根参数化。 1030-1038 玛丽·卡斯尔 , 维多利亚电力公司 , 布鲁斯·雷兹尼克 :
带零的Pólya定理。 1039-1048 Jean-François Pommaret女士 :
重温麦考利逆系统。 1049-1069 弗朗西丝卡·乔菲 , 玛格丽塔·罗杰罗 :
强稳定理想的平坦族和Gröbner基的推广。 1070-1084
布鲁诺·萨尔维 , 鲍勃·塞奇威克 , 米歇尔·索里亚 , Wojciech Szpankowski公司 , 布里吉特·瓦莱 :
讣告。 菲利普·弗拉乔莱特(Philippe Flajolet)。 1085-1086
第46卷第10期,2011年10月
斯特凡诺·马吉奥洛 , 尼古拉·帕加尼 :
生成稳定的模块图。 1087-1097 塞巴斯蒂安·占博 :
计算整数上多项式环中的最小关联素数。 1098-1104 杰西·贝德 , 杰森·麦卡洛 , 路易斯·努涅斯·贝当古 , 亚历山德拉·塞塞莱亚努 , 巴特·斯内普 , 布兰登石碑 :
具有较大射影维数和正则性的理想。 1105-1113 利西·达芬索 , 加布里埃拉·杰罗尼莫 , 弗朗索瓦·奥利维尔 , 亚历山大·塞多拉维奇 , 巴勃罗·索莱诺 :
隐式微分代数方程组的几何指数约简方法。 1114-1138 纪尧姆·莫罗兹 :
投影的性质缺陷和最小判别簇。 1139-1157 Taro Kawazoe公司 , Masayuki Noro公司 :
在不产生中间冗余分量的情况下计算主理想分解的算法。 1158-1172 Lam Xuan Cháu Ngó , 弗兰兹·温克勒 :
自治常微分方程平面有理系统的有理通解。 1173-1186
马赫迪·德哈尼·达尔曼 , 阿米尔·哈希米 , 安东尼奥·蒙特斯 :
“讨论带参数Gröbner基的新算法”勘误表[J.Symbolic Compute.33(1-2)(2002)183-208]。 1187-1188
第46卷第11期,2011年11月
维克托·列万多夫斯基 , 伊娃·泽兹 , 克里斯蒂娜·辛德勒 :
使用Ore代数进行精确线性建模。 1189-1204 谢尔盖·阿布拉莫夫 , 穆雷·A·巴卡图 , 马克·范·霍伊 , 马尔科·佩特科夫塞克 :
线性差分方程和多维超几何序列的次解析解。 1205-1228 罗西奥·布兰科 , 圣地亚哥·恩西纳 :
复曲面品种的嵌入去角化。 1229-1241 马克·吉斯布雷希特 , 丹尼尔·罗氏 :
检测缺失的完美力量并计算其根源。 1242-1259 杰苏斯·德洛拉 , 乔恩·李 , 彼得·马尔金 , 苏珊·马古利斯 :
通过Hilbert的Nullstellensatz计算组合问题的不可行证明。 1260-1283 亚当·斯特泽本斯基 :
系统在第一变量中超越的圆柱分解。 1284-1290
第46卷第12期,2011年12月
弗朗索瓦·莱梅尔 , 马克·莫雷诺·马扎 , 韦潘(Wei Pan) , 谢玉珍 :
什么时候<T>等于sat(T)? 1291-1305 长坂浩作 :
整数上的近似多项式GCD。 1306-1317 Sekigawa广岛 :
通过使用分段有理函数计算给定域中具有零的最近多项式。 1318-1335 马丁·劳姆 :
如何实现模块化表单。 1336-1354 道格拉斯·普尔 , 威利·赫里曼 :
多维非线性偏微分方程守恒定律的符号计算。 1355-1377 阿林·博斯坦 , 穆罕默德·乔杜里 , 乔里斯·范德霍温 , 埃里克·肖斯特 :
模三角集乘法的同调技术。 1378-1402 阿兰·布莱托 , 阿兰·费桑特 :
凯莱图和G图:一些应用。 1403-1412
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)