符号计算杂志,2010年第45卷
第45卷第1期,2010年1月
马丁·彼得内尔 :
球面和有理偏移曲面的有理双参数族。 1-18 克劳迪娅·法西诺 :
有限精度点集的几乎消失多项式。 19-37 阿尔贝托·达米亚诺 , 格拉齐亚诺·金蒂利 , 丹尼尔·斯特拉帕 :
四元数多项式环中的计算。 38-45 鲁希迪·巴鲁尔 , Toshinori Oaku公司 :
局部Bernstein-Sato理想:算法和示例。 46-59 巴赫曼·恩格塔 :
三立方投影维数的界。 60-73 Temur Kutsia公司 , 乔迪·利维 , 马图·维拉雷特 :
论语境与序列统一的关系。 74-95 Inmaculada Medina-Bulo公司 , 弗朗西斯科·帕洛莫·洛萨诺 , 何塞-路易斯·鲁伊斯·雷纳 :
在ACL2中验证了Buchberger算法的Common Lisp实现。 96-123 弗朗索瓦·布里尔 , 弗朗索瓦·莱梅尔 , 马克·莫雷诺·马扎 :
通过改变顺序计算微分特征集。 124-149
第45卷第2期,2010年2月
西尔维奥·吉拉尔迪 , Viorica Sofronie-Stokkerman公司 , 乌尔里克·萨特勒 , 阿什什·蒂瓦里 :
关于自动扣除的特别问题:可决定性、复杂性、可处理性。 151-152 亚哈龙·阿巴迪 , 亚历山大·拉比诺维奇 , 穆利·萨吉夫 :
多种逻辑的可决定碎片。 153-172 阿德里亚·加斯科恩 , 吉勒姆·戈多伊 , 曼弗雷德·施密特·沙乌 , 阿什什·蒂瓦里 :
与一个上下文变量的上下文统一。 173-193 卡斯滕·卢茨 , 弗兰克·沃尔特 :
确定描述逻辑EL中的不可分割性和保守扩展。 194-228 玛丽亚·保拉·博纳西纳 , Mnacho Echenim公司 :
通过分解进行理论决策。 229-260 Duc-Khanh Tran公司 , 克里斯托夫·林盖森 , 西尔维奥·兰伊斯 , 赫莱内·基什内尔 :
凸理论的组合:模块性、演绎完备性和解释。 261-286
第45卷第3期,2010年3月
冯汝永 , 迈克尔·辛格 , 吴敏(音) :
线性微分方程的Liouvillian解。 287-305 冯汝永 , 迈克尔·辛格 , 吴敏(音) :
一种计算素数阶线性微分方程Liouvillian解的算法。 306-323 索尼娅·鲁埃达 , J.拉斐尔·森德拉 :
线性完全微分结果和线性DPPE的隐式化。 324-341 艾伦·K·斯蒂尔 :
用代数闭域进行计算。 342-372 Joáo AraüJo , 保罗·冯·比诺 , 詹姆斯·米切尔 , Max Neunhöffer公司 :
计算半群的自同构。 373-392
第45卷第4期,2010年4月
铁雄艾达 , Hidekazu高桥 :
折纸折叠为代数图重写。 393-413 贾晓红 , 王浩浩 , 罗恩·戈德曼 :
有理空间曲线的集合理论生成器。 414-433 加布里埃拉·杰罗尼莫 , 丹尼尔·佩鲁奇 :
关于标准单纯形上正多项式的最小值。 434-442 弗朗索瓦·阿佩里 :
两个Hermite-Laurent系列的副产物。 443-461 肯塔·西山 , Masayuki Noro公司 :
与局部b函数相关的分层。 462-480 米拉·西塔拉姆 , 约格·彼得斯 , Yong Zhou(永州) :
刚体间入射系统的优化参数化。 481-498
第45卷第5期,2010年5月
Temur Kutsia公司 :
软件科学中的符号计算:编辑前言。 499-500 塞尔吉奥·安托伊 :
缩小范围编程:教程。 501-522 Horatiu Cirstea公司 , 克洛德·基什内尔 , 拉杜·科佩兹 , Pierre-Etienne Moreau公司 :
基于规则的语言的反模式。 523-550 中村正树 , 绪方和弘 , Kokichi Futatsugi公司 :
术语重写系统中操作符号的可简化性及其在行为规范中的应用。 551-573 托马斯·杰奈特 , 弗拉德·鲁苏 :
树自动机完备的等式逼近。 574-597 佐藤正彦 , 兰迪·波拉克 :
lambda-calculus的外部和内部语法。 598-616
第45卷第6期,2010年6月
Prashant Batra公司 , 维克拉姆·夏尔马 :
多元多项式绝对正性的界。 617-628 沃尔克·盖伯哈特 , 胡安·冈萨雷斯-梅内塞斯 :
用循环滑动法求解Garside群的共轭问题。 629-656 扬·弗塞克 , 米罗斯拉夫·拉维卡 :
关于代数曲线的卷积。 657-676 库尔特·梅尔霍恩 , 索拉巴·雷 :
计算洪的极限绝对肯定性的更快算法。 677-683 谢尔盖·阿布拉莫夫 , 马尔科·佩特科夫塞克 :
多项式环自同构、有理(w,sigma)-标准形和赋值问题。 684-708 安德里斯·布劳沃(Andries E.Brouwer) , 米哈埃拉·波波维奇 :
二进制非整数的不变量。 709-720
第45卷,第7期,2010年7月
安东尼奥·坎皮略 , 帕特里克·菲茨帕特里克 , 埃德加·马丁内斯·莫罗 , 路德·佩利卡恩 :
专题代数编码理论与应用。 721-722 奈杰尔·波士顿 , 加里·麦奎尔 :
具有两个零和zeta函数的循环码的重量分布。 723-733 内森·欧文·伊尔滕 , 亨德里克·苏厄 :
多面体除数的代数几何代码。 734-756 德鲁·科尔斯 , 艾玛·普雷维亚托 :
用平面四次曲线上的秩-2束进行解码。 757-772 彼得·比伦 , 克里斯蒂安·布兰德 :
Reed-Solomon码列表解码的关键方程及其求解方法。 773-786 韩成玉 , 乔恩·勒克·金 :
F上的形式自对偶可加码 4 . 787-799 Washiela鱼 , 詹妮弗·D·凯 , 埃里克·姆瓦姆贝(Eric C.Mwambene) :
n立方体线图中的二进制代码。 800-812 卡门·马丁内斯 , 拉蒙·贝维迪 , 克里斯托巴尔·卡马雷罗 , 埃斯特班·斯塔福德 , 恩斯特·加比杜林 :
高斯图的商及其在完美码中的应用。 813-824
第45卷第8期,2010年8月
Preda Mihailescu公司 , 维克托·武列特斯库 :
椭圆高斯和及其在点计数中的应用。 825-836 安德里斯·布劳沃(Andries E.Brouwer) , 米哈埃拉·波波维奇 :
二进制小数的不变量。 837-843 里达·法鲁基 , 塔基斯·萨卡利斯 :
任意次数多项式空间曲线上的有理旋转最小框架。 844-856 乔里斯·范德霍温 :
牛顿方法和FFT交易。 857-878 约阿希姆·冯·祖尔·盖森 , 莫里斯·米尼奥特 , 伊戈尔·什帕林斯基 :
近似多项式GCD:小程度和小高度扰动。 879-886
第45卷,第9期,2010年9月
格特·马丁·格雷尔 , 圣地亚哥拉普拉涅 , 弗兰克·塞利什 :
环的归一化。 887-901 梁晨 , 迈克尔·莫纳根 :
在分圆场上求解线性系统的算法。 902-917 李慧诗 :
寻找(几乎)斜2-多项式代数的Gröbner基理论。 918-942 贝蒂娜·艾克 :
特征2中的一些新的简单李代数。 943-951
第45卷第10期,2010年10月
爱德华多·萨恩斯·德卡贝松(Eduardo Sáenz-de-Cabezón) :
计算单项式迭代映射锥的支持度。 953-964 斯特凡·托哈内努 :
关于计算最小距离的De Boer-Pellikaan方法。 965-974 玛丽亚·艾米莉亚·阿隆索 , 亨利·隆巴迪 :
局部Bézout定理。 975-985 乔尔·默克尔 :
计算不变量理论在小林双曲性和格林-格里菲斯代数简并中的应用。 986-1074 马克·梅扎罗巴 , 布鲁诺·萨维 :
P-递归序列的有效界。 1075-1096
第45卷,第11期,2010年11月
马丁·吉斯 , 安德鲁·爱尔兰 , 劳拉·科瓦奇 :
导言。 1097-1100 斯特凡·考尔 , 尤根·F·H·温克勒 :
for-lops不变量的机械推断。 1101-1113 阿里·米利 , 谢尔·亚哈龙 , 查塔尼亚·纳德卡尼 , 拉米娅·拉贝德·吉拉尼 , 阿斯玛·卢希奇 , 奥尔法·姆拉伊 :
自反传递不变关系:计算循环函数的基础。 1114-1143 伊戈尔·V·科诺夫 , 弗拉基米尔·扎哈罗夫 :
一种基于不变量的异步参数化网络验证方法。 1144-1162 罗晨光 , 弗洛林·克雷西恩(Florin Craciun) , 秦胜超 , 何冠华 , 魏恩甘钦 :
验证具有未知调用的程序的指针安全性。 1163-1183 扬尼克·莫伊 , 克劳德·马奇 :
安全检查子程序契约的模块化推理。 1184-1211 安德烈·里巴尔琴科 , Viorica Sofronie-Stokkerman公司 :
插值的约束求解。 1212-1233 碧灿霞 , 张志海 :
具有非线性约束的线性规划的终止。 1234-1249
第45卷第12期,2010年12月
卡洛斯·达安德里亚 , 马克·朱斯蒂 , 路易斯·帕尔多 , 拉格尼·皮恩 :
2009年代数几何的有效方法:巴塞罗那。 客座编辑前言。 1251-1253 Hirotachi Abo公司 :
关于某些Segre-Veronese品种的无缺陷性。 1254-1269 苏加塔巴苏 , 玛丽·弗朗索瓦斯·罗伊 :
限定球的半径,使其满足半代数集的每个连通分量。 1270-1279 克里斯蒂娜·伯顿 , 纪尧姆·切兹 , 安德烈·加里戈 :
多项式绝对因式分解的模块化拉斯维加斯算法。 1280-1295 玛丽亚·安吉丽卡·库托 , 恩里克·托比斯 , 于约瑟芬 :
二元因子分析的隐式化挑战。 1296-1315 杰玛·迪亚兹·托卡 , 亨利·隆巴迪 :
动态伽罗瓦理论。 1316-1329 阿米尔·哈希米 , 格温诺尔·阿尔斯 :
扩展F 5 标准。 1330-1340 皮尔里·温森特·科塞勒夫 , 丹尼尔·佩克 , 法布里斯·鲁利耶 :
第一个理性的切比雪夫结。 1341-1358 J.M.兰斯伯格 :
P与NP和几何。 1359-1377 蒂埃里·科昆德 , 亨利·隆巴迪 , 克劳德·基特 :
曲线和相干普吕弗环。 1378-1390 安东尼奥·蒙特斯 , 迈克尔·维布默 :
带参数多项式系统的Gröbner基。 1391-1425 Lam Xuan Cháu Ngó , 弗兰兹·温克勒 :
一阶非自治参数化常微分方程的有理通解。 1426-1441 克里斯蒂安·埃德尔 , 约翰·爱德华·佩里 :
F5C:Faugère的F5算法的一种变体,具有简化的Gröbner基。 1442-1458 彼得·谢伯莱克纳(Peter Scheiblechner) :
关于Stickelberger定理的一个推广。 1459-1470
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)