ISSAC 2012:法国格勒诺布尔
乔里斯·范德霍温 , 马克·范·霍伊 :
符号和代数计算国际研讨会,ISSAC’12,法国格勒诺布尔,2012年7月22日至25日。 ACM公司 2012 ,国际标准图书编号 978-1-4503-1269-1 Frits Beukers公司 :
超几何函数:计算方面。 1-2个 玛丽·弗朗索瓦斯·罗伊 :
实代数集合中决定连通性的复杂性:最近的结果和未来的研究方向。 3-5 施特拉森 :
渐近谱和矩阵乘法。 6-7 帕斯卡·科伊兰 :
实根的上界和永久根的下界。 8 维克托·列万多夫斯基 :
计算机代数分析的要素。 9-10 塞斯·沙利文 :
代数统计学。 11 谢尔盖·阿布拉莫夫 , 丹尼斯·赫梅尔诺夫 :
关于多项式系数任意阶线性差分系统亚纯解的赋值。 12-19 Danko Adrovic公司 , 简·维舍尔 :
计算代数曲面的Puiseux级数。 20-27 马丁·阿尔布雷希特 :
具有偶数特征的小域上稠密线性代数的M4RIE库。 28-34 玛丽亚·艾米莉亚·阿隆索·加西亚 , 安德烈·加里戈 :
稀疏单变量多项式的根隔离算法。 35-42 穆雷·A·巴卡图 , 托马斯·克鲁佐 , 卡罗尔·埃尔·巴哈 , 雅克·亚瑟·韦尔 :
计算可积联系的闭式解。 43-50 穆雷·A·巴卡图 , 克莱门斯·拉布 :
求解超指数扩张的线性常微分系统。 51-58 杰雷米·伯托米厄 , 罗曼·勒布雷顿 :
代数系统的松弛p-adic Hensel提升。 59-66 卢克·贝塔莱 , Jean-Charles Faugère女士 , 卢多维克·佩雷特 :
求解有限域上的多项式系统:混合方法的改进分析。 67-74 Jean-François Biasse女士 , 克劳斯·菲克 :
计算数域整数上模的HNF的多项式时间算法。 75-82 弗朗西斯科·比斯卡尼 :
现代硬件体系结构上的并行稀疏多项式乘法。 83-90 拉乌尔·布兰克茨 , 约阿希姆·冯·祖尔·盖森 , 康斯坦丁·齐格勒 :
成分和碰撞程度 第页 2 . 91-98 阿林·博斯坦 , Frédéric Chyzak奶酪 , 布鲁诺·萨维 , 李子明 :
线性常微分算子公共左倍数的快速计算。 99-106 阿林·博斯坦 , 布鲁诺·萨维 , 穆罕默德·乔杜里 , 埃里克·肖斯特 , 罗曼·勒布雷顿 :
奇异(q)-微分方程的幂级数解。 107-114 奥利维尔·伯内斯 , 丹尼尔·席尔瓦·格拉萨 , 阿默里·波利 :
关于解决初值问题的复杂性。 115年至121年 陈少石 , 曼努埃尔·考尔斯 :
超几何创造性伸缩的有序度曲线。 122-129 陈少石 , 曼努埃尔·考尔斯 , 迈克尔·辛格 :
通过留数实现有理函数和代数函数的望远镜。 130-137 马修·科默 , 埃里希·卡尔托芬 , Clément Pernet公司 :
稀疏多项式插值和Berlekamp/Massey算法,用于纠正输入值中的异常值错误。 138-145 穆斯塔法·埃尔谢赫 , 马克·吉斯布雷奇特 , 安迪·诺沃辛 , B.大卫·桑德斯 :
局部环上稀疏矩阵Smith形式的快速计算。 146-153 帕维尔·埃梅利亚恩科 , 迈克尔·萨格拉洛夫 :
关于求解二元多项式系统的复杂性。 154-161 Jean-Charles Faugère女士 , 穆罕默德·萨弗里·埃尔丁 , 皮埃尔·让·斯潘勒豪尔 :
临界点和Gröbner基:非混合情况。 162-169 Jean-Charles Faugère女士 , 朱尔斯·斯瓦尔茨 :
求解多项式系统在对称群作用下的全局不变量,并应用于平面上N个涡的平衡。 170-178 斯塔夫罗斯·加鲁法利迪斯 , 克里斯托夫·库彻恩 :
通过复杂的单位根扭曲q-holonomic序列。 179-186 安布罗斯·M·格莱克斯纳 , 丹尼尔·斯特菲 , 凯蒂·沃尔特 :
通过迭代求精提高线性规划求解器的精度。 187-194 冯果(音译) , 埃里希·卡尔托芬 , 李洪志 :
确定多项式和函数在给定次数下Hilbert-Artin表示不可能的证明。 195-202 比亚克·哈默肖特·鲁恩 , 迈克尔·尤金·斯蒂尔曼 :
实用的Gröbner基计算。 203-210 乔里斯·范德霍温 , 格雷戈伊雷·莱瑟夫 :
多元分块多项式乘法的复杂性。 211-218 伊芙琳·休伯特 , 乔治·拉巴恩 :
Hermite正规形式标度的有理不变量。 219-226 石川正雄 , 克里斯托夫·库彻恩 :
Zeilberger对Pfaffians的完整性分析。 227-233 罗曼·勒布雷顿 , 埃里克·肖斯特 :
泛分解代数的算法。 234-241 保罗·莱拉 :
计算Hilbert格式的Borel不动点的算法的有效实现。 242-248 岳马 , 李洪志 :
通过低秩矩矩阵补全计算多项式系统的实解。 249-256 詹姆斯·麦卡伦 :
小的同质困惑。 257-264 伯纳德·穆兰 , 菲利普·特雷布歇(Philippe Trebuchet) :
一般商代数的边界基表示。 265-272 Toshinori Oaku公司 :
计算多项式对数微分方程的算法。 273-280 科尔顿·鲍德里斯 , 阿恩·斯托约翰恩 :
决定性的单一模块性认证。 281-288 席酿酒师安娜罗美欧 , 弗朗西斯·谢尔盖拉特 :
理论化之前的编程,案例研究。 289-296 迈克尔·萨格拉洛夫 :
当牛顿遇到笛卡尔时:一种简单快速的算法,用于分离多项式的实根。 297-304 彼得·谢伯莱克纳(Peter Scheiblechner) :
有效的de Rham上同调:超曲面情况。 305-310 阿尔科斯·塞莱斯 :
2-闭M-表示的构造。 311-318 维克拉姆·夏尔马 , 芝麻坑 :
简单实根隔离算法的近似最优树大小边界。 319-326 弗拉德·斯拉维奇 , 丹尼尔·昆克尔 , 吉恩·库珀曼 , 斯蒂芬·林顿 :
使用并行磁盘的内存密集型递归算法的高效编程模型。 327-334 亚当·斯特泽本斯基 :
求解柱代数公式表示的半代数集上的多项式系统。 335至342 亚当·斯特泽本斯基 , 埃利亚斯·齐加里达斯 :
多个扩展字段中的单变量实根隔离。 343-350 姚阳 , 王定康 , 马晓东 , 杨章 :
计算可解多项式代数中Gröbner基的基于签名的算法。 351-358 张明波 , 罗勇(Yong Luo) :
常微分多项式系数微分算子的因式分解。 359-365 Wei Zhou公司 , 乔治·拉巴恩 , Arne Storjohann公司 :
计算最小空基。 366-373