ISSAC 2011:美国加利福尼亚州圣何塞
埃里克·肖斯特 , Ioannis Z.埃米利斯 :
符号和代数计算,国际研讨会,ISSAC 2011(与FCRC 2011合办),美国加利福尼亚州圣何塞,2011年6月7日至11日,会议记录。 ACM公司 2011 ,国际标准图书编号 978-1-4503-0675-1
受邀演讲
教程
投稿论文
Prabhanjan Vijendra Ananth公司 , Ambedkar Dukkipati先生 :
边界基检测是NP完成的。 11-18 Ainhoa Aparicio-Monforte公司 , 穆雷·A·巴卡图 , 塞尔吉·西蒙 , 雅克·亚瑟·韦尔 :
微分系统解的形式第一积分I。 19-26 丹尼尔·本贝 , 安德烈·加里戈 :
实多项式的虚根和分数导数。 27-34 亚历山德拉·伯纳迪 , 杰罗姆·布拉查特 , 皮埃尔·科蒙 , 伯纳德·穆兰 :
使用矩矩阵的多齐次多项式分解。 35-42 乔纳森·博文 , 阿明·斯特劳布 :
广义对数积分的特殊值。 43-50 柯蒂斯·布莱特 , 阿恩·斯托约翰恩 :
向量有理数重构。 51至58 本杰明·伯顿 :
用于快速枚举3流形三角剖分的顶点链亏格检测。 59-66 丹尼尔·卡巴卡斯 , 金泰鼎 :
计算syzygies和Gröbner基的线性代数。 67-74 陈昌波 , 詹姆斯·达文波特 , 马克·莫雷诺·马扎 , 碧灿霞 , 荣晓 :
用三角分解表示的半代数集进行计算。 75-82 陈昌波 , 马克·莫雷诺·马扎 :
计算多项式系统三角分解的算法。 83-90 陈少时 , 冯汝永 , 傅国峰 , 李子明 :
关于相容有理函数的结构。 91-98 克里斯蒂安·埃德尔 , 约翰·爱德华·佩里 :
计算Gröbner基的基于签名的算法。 99-106 婷婷芳 , 马克·范·霍伊 :
二维二阶线性微分方程。 107-114 Jean-Charles Faugère女士 , 陈其谋 :
具有稀疏乘法矩阵的零维Gröbner基的快速变序算法。 115-122 马克·吉斯布雷希特 , 丹尼尔·罗氏 :
多样化改善了插值。 123-130 奥雷连·格雷特 , 穆罕默德·萨弗里·埃尔丁 :
决定一个多元多项式的下确界的可达性。 131-138 郭蕾蕾 , 刘峰(音) :
一种计算代数簇集合理论生成器的算法。 139-146 李果 , 威廉·西特 , 张荣华 :
关于结合代数中线性算子的Rota问题。 147-154 索米特·古普塔 , 阿恩·斯托约翰恩 :
计算多项式矩阵的hermite形式。 155-162 威廉·哈特 , 马克·范·霍伊 , 安德鲁·诺沃辛 :
多项式时间的实用多项式分解。 163-170 埃里希·卡尔托芬 , 迈克尔·尼林 , B.大卫·桑德斯 :
线性代数中的二次时间证书。 171-176 埃里希·卡尔托芬 , 迈克尔·尼林 :
超解析黑盒有理函数插值。 177-186 杰里米·伊尔米亚胡·卡明斯基 , Yann坟墓 :
利用判别曲线恢复P的曲面 4 从两个一般线性投影。 187-192 迪帕克·卡普尔 , 姚阳 , 王定康 :
同时计算综合Gröbner系统和综合Gróbner基。 193-200 曼努埃尔·考尔斯 , 卡斯滕·施耐德 :
多元线性差分方程的改进分母定界算法。 201-208 迈克尔·科伯 , 迈克尔·萨格拉洛夫 :
有效的实根近似。 209-216年 李洪波 , 孙瑞勇 , 姚寿斌 , 葛丽 :
离散可微曲线上定义的常微分方程的近似有理解。 217-224 魏丽 , 小山高 , 春明园 :
稀疏差分合成。 225-232 岳丽 , 加布里埃尔·多斯·里斯 :
代数计算系统的自动并行化框架。 233-240 岳马 , 李洪志 :
用改进的不动点连续法完成最小秩gram矩阵。 241-248 Angelos Mantzaflaris公司 , 伯纳德·穆兰 :
多项式系统奇异零点的收缩和证明隔离。 249-256 恩斯特·梅尔 , 斯蒂芬·里切尔 :
无度边界的空间效率Gröbner基计算。 257-264 达斯汀·穆迪 :
雅可比四次曲线的除法多项式。 265-272 长坂小坂 :
近似计算结构化Gröbner基。 273-280 维克多·Y·潘 , 钱国良 , 郑爱龙 :
MBA算法的随机预处理。 281-288 阿列克谢·波斯佩洛夫 :
差场上的快速傅里叶变换。 289-296 Soumojit Sarkar公司 , 阿恩·斯托约翰恩 :
行约简矩阵的归一化。 297-304 B.大卫·桑德斯 , 大卫·哈兰·伍德 , 布莱恩·尤斯 :
数字符号精确有理线性系统求解器。 305-312 知坤社 , 白雪 , 郑志明 :
连续动力系统渐近稳定性的代数分析。 313-320 亚当·斯特泽本斯基 , Elias P.Tsigaridas公司 :
扩展字段中的单变量实根隔离。 321-328 托马斯·斯特姆 , 阿什什·蒂瓦里 :
使用实量词消除进行验证和合成。 329-336 姚阳 , 王定康 :
签名相关Gröbner基算法的通用准则。 337-344 马克·范·霍伊 , 吉尔根·克吕内斯 , 安德鲁·诺沃辛 :
正在生成子字段。 345-352 芝麻坑 , 迈克尔·萨格拉洛夫 :
一种简单但准确且高效的复杂根隔离算法。 353-360