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 马克·吉斯布雷奇特 , 丹尼尔·S·罗氏 以下为:
多样化改善了插值。 123-130 奥雷连·格雷特 , 穆罕默德·萨弗里·埃尔丁 以下为:
判定多元多项式下确界的可达性。 131-138 郭雷雷(Leilei Guo) , 刘峰(音) 以下为:
一种计算代数簇集合理论生成器的算法。 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